Automated Security Debugging Using Program Structural Constraints

Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan Zhang. Automated Security Debugging Using Program Structural Constraints. In 23rd Annual Computer Security Applications Conference (ACSAC 2007), December 10-14, 2007, Miami Beach, Florida, USA. pages 453-462, IEEE Computer Society, 2007. [doi]

Authors

Chongkyung Kil

This author has not been identified. Look up 'Chongkyung Kil' in Google

Emre Can Sezer

This author has not been identified. Look up 'Emre Can Sezer' in Google

Peng Ning

This author has not been identified. Look up 'Peng Ning' in Google

Xiaolan Zhang

This author has not been identified. Look up 'Xiaolan Zhang' in Google