Journal of Cryptology

, Volume 20, Issue 3, pp 395–395 | Cite as

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

  • Martin AbadiEmail author
  • Phillip RogawayEmail author

Copyright information

© International Association for Cryptologic Research 2007

Authors and Affiliations

  1. 1.Computer Science Department, University of California at Santa CruzSanta Cruz, CA 95064USA
  2. 2.Department of Computer Science, University of California at DavisDavis, CA 95616USA

Personalised recommendations