Automated Security Debugging Using Program Structural Constraints.

Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan Zhang

Browse the full ACSAC paper archive.