InProceedings{MicciancioWarinschi04TCC,
  Author         = {Micciancio, Daniele and Warinschi, Bogdan},
  Title          = {Soundness of formal encryption in the presence of
                   active adversaries},
  year           = 2004,
  Editor         = {Naor, Moni},
  Series         = {Lecture Notes in Computer Science},
  Volume         = {2951},
  Pages          = {133-151},
  Address        = {Cambridge, MA, USA},
  Publisher      = {Springer},
  month          = feb,
  booktitle      = {Theory of cryptography conference - Proceedings
                   of {TCC} 2004},
}