Springer
Lecture Notes in Computer Science
Strengthening modern cryptography by automatable proving
Cryptographers’ Track at the RSA Conference
Cryptology

Damgård, I., Hofheinz, D., Kiltz, E., & Thorbek, R. (2008). Public-Key Encryption with Non-Interactive Opening. In Topics in Cryptology, Proceedings of CT-RSA 2008 (pp. 239–255). Springer.