Springer
Lecture Notes in Computer Science
Strengthening modern cryptography by automatable proving
Annual International Cryptology Conference
Cryptology

Hofheinz, D.& Kiltz, E. (2008). Programmable Hash Functions and Their Applications. Advances in Cryptology, Proceedings of CRYPTO 2008, 21–38.