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. Advances in Cryptology, Proceedings of EUROCRYPT 2008, 108–126.