Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) (2000)

Cached

Download Links

by Martín Abadi , Phillip Rogaway
Citations:267 - 16 self

Documents Related by Co-Citation

872 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
699 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
88 Formal Eavesdropping and its Computational Interpretation – Martín Abadi, Jan Jürjens - 2000
388 Relations among notions of security for public-key encryption schemes – Mihir Bellare, David Pointcheval, Phillip Rogaway - 1998
104 A Composable Cryptographic Library with Nested Operations (Extended Abstract) – Michael Backes, Birgit Pfitzmann, Michael Waidner - 2003
295 Non-interactive zero-knowledge proof of knowledge and chosen ciphertext attack – C Rackoff, D R Simon - 1992
107 A Probabilistic Poly-Time Framework for Protocol Analysis – P. Lincoln, J. Mitchell, M. Mitchell, A. Scedrov - 1998
1001 Probabilistic encryption – S Goldwasser, S Micali - 1984
548 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
331 Security and Composition of Multi-party Cryptographic Protocols – Ran Canetti - 1998
30 Symmetric Authentication within a Simulatable Cryptographic Library – Michael Backes, Birgit Pfitzmann, Michael Waidner - 2003
394 A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack – Ronald Cramer, Victor Shoup - 1998
117 Composition and Integrity Preservation of Secure Reactive Systems – Birgit Pfitzmann, Michael Waidner - 2000
202 Mobile Values, New Names, and Secure Communication – Martín Abadi, Cédric Fournet - 2001
47 Probabilistic Polynomial-Time Equivalence and Security Analysis – P. Lincoln, J. Mitchell, M. Mitchell, A. Scedrov - 1999
784 Using encryption for authentication in large networks of computers – Roger M Needham, Michael D Schroeder - 1978
126 Secure Multiparty Protocols and Zero-knowledge proof Systems Tolerating a Faulty Minority – D Beaver - 1991
484 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2005
296 A Concrete Security Treatment of Symmetric Encryption – M. Bellare, A. Desai, E. Jokipii, P. Rogaway - 1997