(The Computational Soundness of Formal Encryption) Martn Abadi Bell Labs...  Home/Search
Context
Related
| ucdavis.edu/~rogaway/papers/equiv.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucdavis.edu/~rogaway/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Two distinct, rigorous views of cryptography have developed over the years, in two mostly separate communities. One of the views relies on a simple but e ective formal approach; the other, on a detailed computational model that considers issues of complexity and probability. (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ soundness-reconciling,
author = "The Computational Soundness",
title = "Reconciling Two Views of Cryptography",
url = "citeseer.ist.psu.edu/766382.html" }
Citations (may not include all citations):659 Random oracles are practical: A paradigm for designing ecien.. - Bellare, Rogaway - 1993
501 A digital signature scheme secure against adaptive chosen-me.. - Goldwasser, Micali et al. - 1988
404 Journal of Computer and System Sciences (context) - Goldwasser, Micali - 1984
339 Theory and applications of trapdoor functions (context) - Yao - 1982
334 How to generate cryptographically strong sequences of pseudo.. (context) - Blum, Micali - 1982
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
250 How to play any mental game (context) - Goldreich, Micali et al. - 1987
194 Proofs that yield nothing but their validity or All language.. (context) - Goldreich, Micali et al. - 1991
188 Entity authentication and key distribution (context) - Bellare, Rogaway - 1993
184 Automated analysis of cryptographic protocols using Mur - Mitchell, Mitchell et al. - 1997
159 A concrete security treatment of symmetric encryption: analy.. (context) - Bellare, Desai et al. - 1997
121 Three system for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
98 Security properties and CSP - Schneider - 1996
[Article contains additional citations not shown here]
Documents on the same site (http://www.cs.ucdavis.edu/~rogaway/papers/): More
On the Construction of Variable-Input-Length Ciphers - Bellare, Rogaway (1999) (Correct)
Authenticated Key Exchange Secure Against Dictionary Attacks - Bellare, Pointcheval.. (2000) (Correct)
Reconciling Two Views of Cryptography (The Computational.. - Abadi, Rogaway (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC