Summary: Reconciling Two Views of Cryptography
(The Computational Soundness of Formal Encryption)
Bell Labs Research
Department of Computer Science
University of California at Davis
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.
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