A first step towards automated detection of buffer overrun vulnerabilities (2000)

by D Wagner
Venue:In In Network and Distributed System Security Symposium