Expressiveness of Definitions and Efficiency of Constructions in Computational Cryptography