@inproceedings{rcf-soundness,
  author       = {Backes, Michael and Maffei, Matteo and Unruh, Dominique},
  title        = {Computationally Sound Verification of Source Code},
  booktitle    = {ACM CCS 2010},
  month        = {October},
  year         = {2010},
  publisher    = {ACM Press},
  pages        = {387-398},
  note         = {Preprint on IACR ePrint 2010/416}
}