@article{symbolic-uc-jcs,
  author       = {B\"{o}hl, Florian and Unruh, Dominique},
  title        = {Symbolic Universal Composability},
  journal      = {J Computer Security},
  year         = {2015},
  note         = {to appear, preprint on IACR ePrint 2013/062}
}