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]
Abstract is missing.