Flavio D. Garcia, Peter van Rossum. Sound and Complete Computational Interpretation of Symbolic Hashes in the Standard Model.
Workshop on Formal and Computational Cryptography (FCC 2006), Véronique Cortier et Steve Kremer, Jul 2006, Venice/Italy.
⟨inria-00080675⟩