Advances in Cryptology - CRYPTO 2003
From MaRDI portal
Publication:5428141
DOI10.1007/b11817zbMath1122.94375OpenAlexW2480001466WikidataQ56235047 ScholiaQ56235047MaRDI QIDQ5428141
Moses Liskov, Silvio Micali, Jonathan Herzog
Publication date: 28 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11817
Related Items
Augmented Learning with Errors: The Untapped Potential of the Error Term ⋮ A Brief History of Provably-Secure Public-Key Encryption ⋮ Relationship between Two Approaches for Defining the Standard Model PA-ness ⋮ Post-quantum plaintext-awareness ⋮ Universally composable symbolic security analysis ⋮ Cramer-Shoup Satisfies a Stronger Plaintext Awareness under a Weaker Assumption ⋮ Unifying simulatability definitions in cryptographic systems under different timing assumptions ⋮ A computational interpretation of Dolev-Yao adversaries ⋮ Online-Untransferable Signatures ⋮ Certified Encryption Revisited ⋮ A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol ⋮ Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos ⋮ Soundness of Formal Encryption in the Presence of Key-Cycles
This page was built for publication: Advances in Cryptology - CRYPTO 2003
