Flavio D. Garcia, Peter van Rossum. Sound Computational Interpretation of Symbolic Hashes in the Standard Model. In Hiroshi Yoshiura, Kouichi Sakurai, Kai Rannenberg, Yuko Murayama, Shin-ichi Kawamura, editors, Advances in Information and Computer Security, First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings. Volume 4266 of Lecture Notes in Computer Science, pages 33-47, Springer, 2006. [doi]
Abstract is missing.