@inproceedings{backes06computationally,
  author       = {Backes, Michael and Laud, Peeter},
  title        = {Computationally Sound Secrecy Proofs by Mechanized Flow Analysis},
  booktitle    = {Proceedings of 13th ACM Conference on Computer and Communications Security (CCS)},
  month        = {November},
  year         = {2006},
  pages        = {370-379}
}