Completeness theorems for the Abadi-Rogaway logic of encrypted expressions (0)

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