SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
| Autor: | HASELWARTER, PHILIPP G.1 philipp@haselwarter.org, RIVAS, EXEQUIEL2 erivas@dcc.fceia.unr.edu.ar, VAN MUYLDER, ANTOINE3 antoine.vanmuylder@kuleuven.be, WINTERHALTER, THÉO4 theo.winterhalter@mpi-sp.org, ABATE, CARMINE4 carmine.abate@mpi-sp.org, SIDORENCO, NIKOLAJ1 sidorenco@cs.au.dk, HRIŢCU, CĂTĂLIN4 catalin.hritcu@mpi-sp.org, MAILLARD, KENJI5 kenji.maillard@inria.fr, SPITTERS, BAS1 spitters@cs.au.dk |
|---|---|
| Zdroj: | ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-61. 61p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|