• Version
• Download 49
• File Size 286.30 KB
• File Count 1
• Create Date 8 June 2021
• Last Updated 14 June 2021

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 Hritcu, Kenji Maillard, and Bas Spitters