SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq (CSF 2021)

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