The Secrets Must Not Flow: Scaling Security Verification to Large Codebases.

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Mller

Browse the full SP paper archive.