BOOK-CHAPTER

Formally Verified Verifiable Group Generators

Mina A. CyrusMukesh Tiwari

Year: 2025 Lecture notes in computer science Pages: 170-186   Publisher: Springer Science+Business Media
Keywords:
Verifiable secret sharing Computer science Group (periodic table) Theoretical computer science Programming language Arithmetic Mathematics Physics Set (abstract data type)

Metrics

0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
28
Refs
0.12
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Cryptography and Data Security
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

DISSERTATION

Formally Verified Verifiable Electronic Voting Scheme

Mukesh Tiwari

University:   ANU Open Research (Australian National University) Year: 2021
JOURNAL ARTICLE

Formally verified mathematics

Jeremy AvigadJohn Harrison

Journal:   Communications of the ACM Year: 2014 Vol: 57 (4)Pages: 66-75
© 2026 ScienceGate Book Chapters — All rights reserved.