Practical Automated Filter Generation to Explicitly Enforce Implicit Input Assumptions.

Valentin Razmov, Daniel R. Simon

Browse the full ACSAC paper archive.