Completeness Theorems for the AbadiRogaway Logic of Encrypted Expressions (2004)

by D Micciancio, B Warinschi
Venue:In Journal of Computer Security