SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Cătălin Hriţcu, Kenji Maillard, Bas Spitters

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

18 Citations (Scopus)

Fingerprint

Dive into the research topics of 'SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq'. Together they form a unique fingerprint.

Computer Science