Summary: Reconciling Two Views of Cryptography
(The Computational Soundness of Formal Encryption)
Mart��n Abadi
Bell Labs Research
Lucent Technologies
abadi@lucent.com
www.pa.bell�labs.com/~abadi
Phillip Rogaway
Department of Computer Science
University of California at Davis
rogaway@cs.ucdavis.edu
www.cs.ucdavis.edu/~rogaway
January 31, 2001
An abridged, preliminary version of this paper will appear in the proceedings of the IFIP Interna�
tional Conference on Theoretical Computer Science (IFIP TCS2000), Sendai, Japan, August 2000.
This is the full paper.
Abstract
Two distinct, rigorous views of cryptography have developed over
the years, in two mostly separate communities. One of the views re�
lies on a simple but e#ective formal approach; the other, on a detailed

Source: Abadi, Mart�n - Department of Computer Science, University of California at Santa Cruz

Collections: Computer Technologies and Information Sciences