The Fujisaki-Okamoto Transformation
Design and analysis of practical public-key encryption schemes secure against adaptive chosen ciphertext attack