Practical Everlasting Privacy
From MaRDI portal
Publication:5326751
DOI10.1007/978-3-642-36830-1_2zbMath1390.68273OpenAlexW2132001155MaRDI QIDQ5326751
Steve Kremer, Myrto Arapinis, Véronique Cortier, Mark D. Ryan
Publication date: 6 August 2013
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-36830-1_2
Related Items
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols ⋮ Automated Verification of Equivalence Properties of Cryptographic Protocols