@misc{cryptoeprint:2006:146, author = {Flavio D. Garcia and Peter van Rossum}, title = {Completeness of Formal Hashes in the Standard Model}, howpublished = {Cryptology ePrint Archive, Report 2006/146}, year = {2006}, url = {http://eprint.iacr.org/2006/146}, }