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. In Advances in Cryptology, Proceedings of CRYPTO 2008 (pp. 21–38). Springer.