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. Topics in Cryptology, Proceedings of CT-RSA 2008, 239–255.