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

  title={Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*},
  author={Mart{\'i}n Abadi and Phillip Rogaway},
  journal={Journal of Cryptology},
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 effective formal approach; the other, on a detailed computational model that considers issues of complexity and probability. There is an uncomfortable and interesting gap between these two approaches to cryptography. This paper starts to bridge the gap, by providing a computational justification for a formal treatment of encryption. 
Highly Influential
This paper has highly influenced 103 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 716 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 456 extracted citations

717 Citations

Citations per Year
Semantic Scholar estimates that this publication has 717 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 49 references

Reconciling two views of cryptography (The computational soundness of formal encryption)

  • Martı́n Abadi, Phillip Rogaway
  • InProceedings of the First IFIP International…
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…