D. Micciancio, B. Warinschi
Completeness theorems for the Abadi-Rogaway logic of encrypted
expressions
Journal of Computer
Security, 12(1), pp.
99-129, 2004. (Preliminary version in WITS 2002)
D. Micciancio, B. Warinschi
Soundness of Formal Encryption in the presence of Active
Adversaries
Theory of Cryptography Conference - TCC
2004. Cambridge,
MA, USA. February 2004. LNCS 2951, Springer, pp. 133-151.
D. Micciancio, S. Panjwani
Adaptive security of symbolic
encryption
Theory of cryptography Conference - TCC
2005. Cambridge, MA,
USA. February 2005. LNCS 3378, Springer, pp. 169-187.
D. Micciancio, S. Panjwani
Corrupting one vs. corrupting
many: the case of broadcast and multicast
encryption
International Colloquium on Automata, Languages and Programming -
ICALP 2006, Venice, Italy. To
appear.