Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
From MaRDI portal
Publication:2894322
DOI10.1007/978-3-642-28641-4_11zbMath1353.68018OpenAlexW188034648MaRDI QIDQ2894322
Gergei Bana, Hubert Comon-Lundh
Publication date: 29 June 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28641-4_11
Related Items
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later, A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols, A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case