Sound Computational Interpretation of Formal Hashes (2006)

by Flavio D. Garcia , Peter van Rossum
Citations:5 - 4 self