A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

David A. Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken

Browse the full NDSS paper archive.