SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
by Carmine Abate and
Philipp G. Haselwarter and
Exequiel Rivas and
Antoine Van Muylder and
Théo Winterhalter and
Nikolaj Sidorenco and
Catalin Hritcu and
Kenji Maillard and
Bas Spitters