No Cover Image

Conference Paper/Proceeding/Abstract 321 views 111 downloads

Formally Verified Verifiable Group Generators

Mina Cyrus Orcid Logo, Mukesh Tiwari Orcid Logo

Lecture Notes in Computer Science, Volume: 15593, Pages: 170 - 186

Swansea University Authors: Mina Cyrus Orcid Logo, Mukesh Tiwari Orcid Logo

  • 69316.AAM.pdf

    PDF | Accepted Manuscript

    Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).

    Download (366.28KB)

Check full text

DOI (Published version): 10.1007/978-3-031-87054-5_12

Published in: Lecture Notes in Computer Science
ISBN: 9783031870538 9783031870545
ISSN: 0302-9743 1611-3349
Published: Cham Springer Nature Switzerland 2025
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa69316
first_indexed 2025-04-21T15:57:23Z
last_indexed 2025-06-03T04:46:40Z
id cronfa69316
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"><datestamp>2025-06-02T11:06:00.8508412</datestamp><bib-version>v2</bib-version><id>69316</id><entry>2025-04-21</entry><title>Formally Verified Verifiable Group Generators</title><swanseaauthors><author><sid>fb5320369ba356b005c93d6e38c94caf</sid><ORCID>0009-0005-9085-4652</ORCID><firstname>Mina</firstname><surname>Cyrus</surname><name>Mina Cyrus</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>4b6a02f9e2ebffd1dd1b7151116dd8aa</sid><ORCID>0000-0001-5373-9659</ORCID><firstname>Mukesh</firstname><surname>Tiwari</surname><name>Mukesh Tiwari</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2025-04-21</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Lecture Notes in Computer Science</journal><volume>15593</volume><journalNumber/><paginationStart>170</paginationStart><paginationEnd>186</paginationEnd><publisher>Springer Nature Switzerland</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783031870538</isbnPrint><isbnElectronic>9783031870545</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>Formal Verification; Verifiable Group Generator; Cryptography; E-Voting; Coq Theorem Prover; Safe Computation; SHA-256; Fermat&#x2019;s Little Theorem</keywords><publishedDay>21</publishedDay><publishedMonth>3</publishedMonth><publishedYear>2025</publishedYear><publishedDate>2025-03-21</publishedDate><doi>10.1007/978-3-031-87054-5_12</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2025-06-02T11:06:00.8508412</lastEdited><Created>2025-04-21T15:18:16.3929923</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Mina</firstname><surname>Cyrus</surname><orcid>0009-0005-9085-4652</orcid><order>1</order></author><author><firstname>Mukesh</firstname><surname>Tiwari</surname><orcid>0000-0001-5373-9659</orcid><order>2</order></author></authors><documents><document><filename>69316__34367__275ed6fb36e244429172042e92d7c962.pdf</filename><originalFilename>69316.AAM.pdf</originalFilename><uploaded>2025-06-02T10:13:38.4246918</uploaded><type>Output</type><contentLength>375071</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><documentNotes>Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/4.0/deed.en</licence></document></documents><OutputDurs><OutputDur><Id>319</Id><DataControllerName>Mina</DataControllerName><IsDataAvailableOnline>true</IsDataAvailableOnline><DataNotAvailableOnlineReasonId xsi:nil="true"/><DurUrl>https://github.com/mukeshtiwari/Formally_Verified_Verifiable_Group_Generator</DurUrl><IsDurRestrictions>false</IsDurRestrictions><DurRestrictionReasonId xsi:nil="true"/><DurEmbargoDate xsi:nil="true"/></OutputDur></OutputDurs></rfc1807>
spelling 2025-06-02T11:06:00.8508412 v2 69316 2025-04-21 Formally Verified Verifiable Group Generators fb5320369ba356b005c93d6e38c94caf 0009-0005-9085-4652 Mina Cyrus Mina Cyrus true false 4b6a02f9e2ebffd1dd1b7151116dd8aa 0000-0001-5373-9659 Mukesh Tiwari Mukesh Tiwari true false 2025-04-21 MACS Conference Paper/Proceeding/Abstract Lecture Notes in Computer Science 15593 170 186 Springer Nature Switzerland Cham 9783031870538 9783031870545 0302-9743 1611-3349 Formal Verification; Verifiable Group Generator; Cryptography; E-Voting; Coq Theorem Prover; Safe Computation; SHA-256; Fermat’s Little Theorem 21 3 2025 2025-03-21 10.1007/978-3-031-87054-5_12 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2025-06-02T11:06:00.8508412 2025-04-21T15:18:16.3929923 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Mina Cyrus 0009-0005-9085-4652 1 Mukesh Tiwari 0000-0001-5373-9659 2 69316__34367__275ed6fb36e244429172042e92d7c962.pdf 69316.AAM.pdf 2025-06-02T10:13:38.4246918 Output 375071 application/pdf Accepted Manuscript true Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention). true eng https://creativecommons.org/licenses/by/4.0/deed.en 319 Mina true https://github.com/mukeshtiwari/Formally_Verified_Verifiable_Group_Generator false
title Formally Verified Verifiable Group Generators
spellingShingle Formally Verified Verifiable Group Generators
Mina Cyrus
Mukesh Tiwari
title_short Formally Verified Verifiable Group Generators
title_full Formally Verified Verifiable Group Generators
title_fullStr Formally Verified Verifiable Group Generators
title_full_unstemmed Formally Verified Verifiable Group Generators
title_sort Formally Verified Verifiable Group Generators
author_id_str_mv fb5320369ba356b005c93d6e38c94caf
4b6a02f9e2ebffd1dd1b7151116dd8aa
author_id_fullname_str_mv fb5320369ba356b005c93d6e38c94caf_***_Mina Cyrus
4b6a02f9e2ebffd1dd1b7151116dd8aa_***_Mukesh Tiwari
author Mina Cyrus
Mukesh Tiwari
author2 Mina Cyrus
Mukesh Tiwari
format Conference Paper/Proceeding/Abstract
container_title Lecture Notes in Computer Science
container_volume 15593
container_start_page 170
publishDate 2025
institution Swansea University
isbn 9783031870538
9783031870545
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-031-87054-5_12
publisher Springer Nature Switzerland
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2025-03-21T06:46:38Z
_version_ 1851283994783514624
score 11.090362

Similar Items