Sound computational interpretation of formal hashes. Technical Report ICIS-R06001, Nijmegen Institute for Computing and Information (0)

by Flavio D Garcia, Peter van Rossum
Venue:In Hiroshi Yoshiura, Kouichi Sakurai, Kai Rannenberg, Yuko Murayama, and Shinichi Kawamura, editors, Advances in Information and Computer Security. International Workshop on Security (IWSEC2006), volume 4266 of Lecture Notes in Computer Science