Automated Proofs for Asymmetric Encryption
From MaRDI portal
Publication:5187835
DOI10.1007/978-3-642-11512-7_19zbMath1274.94056OpenAlexW4213132237MaRDI QIDQ5187835
M. Daubignard, J. Courant, Pascal Lafourcade, Yassine Lakhneche, Cristian Ene
Publication date: 9 March 2010
Published in: Concurrency, Compositionality, and Correctness (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11512-7_19
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Zero-knowledge proofs of identity
- OAEP reconsidered
- A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs
- Automated Reasoning
- Automated Security Proofs with Sequences of Games
- Types for Proofs and Programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Automated Proofs for Asymmetric Encryption