Sound Computational Interpretation of Symbolic Hashes in the Standard Model.

Flavio D. Garcia, Peter van Rossum

Browse the full IWSEC paper archive.