Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

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

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