From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification (2003)

by Michael Backes, Matthias Schunter
Venue:In NSPW ’03: Proceedings of the 2003 workshop on New security paradigms