Cryptology ePrint Archive: Report 2006/014
Available versions in chronological order
20060117:204550 (posted 17-Jan-2006 20:45:50 UTC)
Sound Computational Interpretation of Formal Hashes
Flavio D. Garcia and Peter van Rossum
Publication Info: in submission
20111121:181527 (posted 21-Nov-2011 18:15:27 UTC)
Sound Computational Interpretation of Symbolic Hashes in the Standard Model
Flavio D. Garcia and Peter van Rossum
Publication Info: in submission
[
Cryptology ePrint archive
]