Fingerprint
Dive into the research topics of 'SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cǎtǎlin Hriţcu, Kenji Maillard, Bas Spitters
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
4
Citations
(Scopus)