Soundness of Formal Encryption in the Presence of Active Adversaries.

Daniele Micciancio, Bogdan Warinschi

Browse the full TCC paper archive.