Yael Gertner, Tal Malkin, Steven A. Myers: Towards a Separation of Semantic and CCA Security for Public Key Encryption. TCC 2007: 434-455