Expressiveness of Definitions and Efficiency of Constructions in Computational Cryptography. - David Omer Horvitz (2007)