SSProve: A Modular Framework for Cryptographic Proofs in Coq 🔐
Discover SSProve, a powerful framework for building modular cryptographic proofs using Coq, presented at CSF 2021. Explore how it advances formal verification in security protocols.
Philipp Haselwarter
44 views • Jun 23, 2021
About this video
Video talk presented at the Cryptography and Verification session of the 34th IEEE Computer Security Foundations Symposium (CSF'21). SSProve is joint work with Carmine Abate, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters.
More info at github.com/SSProve
More info at github.com/SSProve
Video Information
Views
44
Likes
2
Duration
11:58
Published
Jun 23, 2021