Ken Ashcraft, Dawson R. Engler. Using Programmer-Written Compiler Extensions to Catch Security Holes. In IEEE Symposium on Security and Privacy. pages 143-159, 2002. [doi]
@inproceedings{AshcraftE02,
title = {Using Programmer-Written Compiler Extensions to Catch Security Holes},
author = {Ken Ashcraft and Dawson R. Engler},
year = {2002},
url = {http://computer.org/proceedings/sp/1543/15430143abs.htm},
tags = {security, compiler},
researchr = {https://researchr.org/publication/AshcraftE02},
cites = {0},
citedby = {0},
pages = {143-159},
booktitle = {IEEE Symposium on Security and Privacy},
}