Soundness of Formal Encryption in the Presence of Active Adversaries

Cite this paper

@inproceedings{Micciancio2004SoundnessOF, title={Soundness of Formal Encryption in the Presence of Active Adversaries}, author={Daniele Micciancio and Bogdan Warinschi}, booktitle={TCC}, year={2004} }