@inproceedings{IACR:conf/crypto2003/PatarinC03, author = { Jacques Patarin }, title = {Weak Key Authenticity and the Computational Completeness of Formal Encryption}, booktitle = {CRYPTO)}, year = {2003}, pages = {530-547}, ee = {http://www.iacr.org/archive/crypto2003/27290528/27290528.pdf}, crossref = {IACR:conf/crypto2003}, bibsource = {IACR, http://www.iacr.org} } @proceedings{IACR:conf/crypto2003, editor = {Dan Boneh}, title = {Advances in Cryptology - CRYPTO 2003, 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003, Proceedings}, booktitle = {CRYPTO}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2729}, year = {2003}, isbn = {3-540-40674-3}, bibsource = {IACR, http://www.iacr.org} }