%0 Generic %1 Abadi00reconcilingtwo %A Abadi, Martín %A Rogaway, Phillip %D 2000 %K crypto %T Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) %U http://citeseerx.ist.psu.edu/viewdoc/summary;jsessionid=F4E682B39328C6930CD83C248E1A10B1?doi=10.1.1.20.2584

@misc{Abadi00reconcilingtwo, added-at = {2012-04-01T20:28:39.000+0200}, author = {Abadi, Martín and Rogaway, Phillip}, biburl = {https://www.bibsonomy.org/bibtex/26b2fb81a36cef2f7772931abfaf9b8f8/giuliano.losa}, description = {CiteSeerX — Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)}, interhash = {814a29f60ff67ee11d3dbf8e9fb6f496}, intrahash = {6b2fb81a36cef2f7772931abfaf9b8f8}, keywords = {crypto}, timestamp = {2012-04-01T20:28:39.000+0200}, title = {Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary;jsessionid=F4E682B39328C6930CD83C248E1A10B1?doi=10.1.1.20.2584}, year = 2000 }