Inductive Proofs of Computational Secrecy.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

Browse the full ESORICS paper archive.