@inproceedings{backes03from,
  author       = {Backes, Michael and Schunter, Matthias},
  title        = {From Absence of Certain Vulnerabilities towards Security Proofs - Pushing the Limits of Formal Verification},
  booktitle    = {Proceedings of the 10th ACM Workshop on New Security Paradigms (NSPW)},
  month        = {August},
  year         = {2003},
  pages        = {67-74}
}