Demonstration of COSAK static analysis tools. - Dan DaCosta; Christopher Dahn; Spiros Mancoridis; Vassilis Prevelakis (DISCEX (2), 2003)

Characterizing the 'Security Vulnerability Likelihood' of Software Functions. - Dan DaCosta; Christopher Dahn; Spiros Mancoridis; Vassilis Prevelakis (ICSM, 2003)

Using Program Transformation to Secure C Programs Against Buffer Overflows. - Christopher Dahn; Spiros Mancoridis (WCRE, 2003)