SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

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

Research output: Chapter in Book/Report/Conference proceedingConference paper

Fingerprint

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

Engineering & Materials Science