SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

  • Version
  • Download 27
  • 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

Leave a Comment

Your email address will not be published. Required fields are marked *