David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2000, San Diego, California, USA. The Internet Society, 2000. [doi]
Abstract is missing.