@conference {14287,
	title = {A first step towards automated detection of buffer overrun vulnerabilities},
	booktitle = {The 2000 Network and Distributed Systems Security Conference. San Diego, CA},
	volume = {14},
	year = {2000},
	month = {2000///},
	author = {Wagner,D. and Foster, Jeffrey S. and Brewer,E.A. and Aiken,A.}
}
