Publications

SSProve: a foundational framework for modular cryptographic proofs in Coq
Journal / Periodical: Proceedings 2021 IEEE 34th Computer Security Foundations Symposium [CSF 2021], 21-24 June 2021, Virtual Conference
Authors: Abate, Carmine; Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Hriţcu, Cătălin; Maillard, Kenji; Spitters, Bas
Year: 2021
Read article
Filtered (71)
Filters
Research Groups
Show (71)
Cancel