Cryptology ePrint Archive: Report 2006/014

Available versions in chronological order


Sound Computational Interpretation of Formal Hashes
Flavio D. Garcia and Peter van Rossum
Publication Info: in submission

Sound Computational Interpretation of Symbolic Hashes in the Standard Model
Flavio D. Garcia and Peter van Rossum
Publication Info: in submission


[ Cryptology ePrint archive ]