Login / Signup
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
Carmine Abate
Philipp G. Haselwarter
Exequiel Rivas
Antoine Van Muylder
Théo Winterhalter
Catalin Hritcu
Kenji Maillard
Bas Spitters
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
main contribution
framework enables
lightweight
theoretical framework
machine learning