BOOK-CHAPTER
Formally Verified Verifiable Group Generators
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
University: ANU Open Research (Australian National University) Year: 2021
JOURNAL ARTICLE
Formally verified mathematics
Journal: Communications of the ACM Year: 2014 Vol: 57 (4)Pages: 66-75
BOOK-CHAPTER
Formally Verified System Initialisation
Andrew BoytonJune AndronickCallum BannisterMatthew FernandezXin GaoDavid GreenawayGerwin KleinCorey LewisThomas Sewell
Lecture notes in computer science Year: 2013 Pages: 70-85
JOURNAL ARTICLE
A Formally Verified NAT
Arseniy ZaostrovnykhSolal PirelliLuis PedrosaKaterina ArgyrakiGeorge Candea
Year: 2017 Pages: 141-154