Demonstration of COSAK static analysis tools

Dan DaCosta, Christopher Dahn, Spiros Mancoridis, Vassilis Prevelakis. Demonstration of COSAK static analysis tools. In 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA. pages 7-9, IEEE Computer Society, 2003. [doi]

Authors

Dan DaCosta

This author has not been identified. Look up 'Dan DaCosta' in Google

Christopher Dahn

This author has not been identified. Look up 'Christopher Dahn' in Google

Spiros Mancoridis

This author has not been identified. Look up 'Spiros Mancoridis' in Google

Vassilis Prevelakis

This author has not been identified. Look up 'Vassilis Prevelakis' in Google