From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification.

Michael Backes, Matthias Schunter

Browse the full NSPW paper archive.