@article{abadi2002reconciling,
author = {Abadi, Martin and Rogaway, Phillip},
title = {Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)},
year = {2002},
month = {January},
abstract = {Erratum: The online contents page of the original article (DOI: 10.1007/s00145-001-0014-7) was inadvertently published with only the first author appearing. The correct version appears above. The publisher regrets and apologizes for the error.},
url = {http://approjects.co.za/?big=en-us/research/publication/reconciling-two-views-of-cryptography-the-computational-soundness-of-formal-encryption/},
pages = {395},
journal = {Journal of Cryptology},
volume = {20},
number = {3},
}