Springer
Lecture Notes in Computer Science
Strengthening modern cryptography by automatable proving
Advances in Cryptology - EUROCRYPT
Cryptology

Hofheinz, D., & Unruh, D. (2008). Towards Key-Dependent Message Security in the Standard Model. In Advances in Cryptology, Proceedings of EUROCRYPT 2008 (pp. 108–126). Springer.