Computer-Aided Cryptographic Proofs
From MaRDI portal
Publication:2914729
DOI10.1007/978-3-642-32347-8_2zbMath1360.94294OpenAlexW4211150876MaRDI QIDQ2914729
Benjamin Grégoire, Gilles Barthe, Juan Manuel Crespo, César Kunz, Santiago Zanella Béguelin
Publication date: 20 September 2012
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00765842/file/main.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Automating regression verification of pointer programs by predicate abstraction ⋮ Formal verification of Saber's public-key encryption scheme in easycrypt ⋮ Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+} ⋮ Formalization of Shannon's theorems
Uses Software
This page was built for publication: Computer-Aided Cryptographic Proofs
