Publikatsioonid

SSProve: a foundational framework for modular cryptographic proofs in Coq
Väljaanne: Proceedings 2021 IEEE 34th Computer Security Foundations Symposium [CSF 2021], 21-24 June 2021, Virtual Conference
Autorid: Abate, Carmine; Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Hriţcu, Cătălin; Maillard, Kenji; Spitters, Bas
Aasta: 2021
Loe artiklit
Filtered (71)
Filters
Uurimisühmad
Show (71)
Cancel