@misc{backes06flowanalysis,
  author       = {Backes, Michael and Laud, Peeter},
  title        = {Computationally Sound Secrecy Proofs by Mechnized Flow Analysis},
  howpublished = {Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06},
  month        = {June},
  year         = {2006}
}