Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions.

Daniele Micciancio Bogdan Warinschi Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions. 99-130 2004 12 Journal of Computer Security 1 db/journals/jcs/jcs12.html#MicciancioW04