@inproceedings{unrestr-soundness,
  author       = {Backes, Michael and Malik, Ankit and Unruh, Dominique},
  title        = {Computational Soundness without Protocol Restrictions},
  booktitle    = {ACM CCS 2012},
  month        = {October},
  year         = {2012},
  publisher    = {ACM Press},
  pages        = {699-711},
  note         = {Preprint on IACR ePrint 2012/486}
}