Conference Paper/Proceeding/Abstract 318 views 110 downloads
Formally Verified Verifiable Group Generators
Mina Cyrus 
,
Mukesh Tiwari
,
Mukesh Tiwari
Lecture Notes in Computer Science, Volume: 15593, Pages: 170 - 186
Swansea University Authors:
Mina Cyrus , Mukesh Tiwari
-
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)
DOI (Published version): 10.1007/978-3-031-87054-5_12
Abstract
Formally Verified Verifiable Group Generators
| 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 |
| Keywords: |
Formal Verification; Verifiable Group Generator; Cryptography; E-Voting; Coq Theorem Prover; Safe Computation; SHA-256; Fermat’s Little Theorem |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
170 |
| End Page: |
186 |