Scott E. Breach

DART

Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

CCured

Countering code-injection attacks with instruction-set randomization

Efficient detection of all pointer and array access errors