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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.