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]
@inproceedings{KilSNZ07, title = {Automated Security Debugging Using Program Structural Constraints}, author = {Chongkyung Kil and Emre Can Sezer and Peng Ning and Xiaolan Zhang}, year = {2007}, doi = {10.1109/ACSAC.2007.7}, url = {http://doi.ieeecomputersociety.org/10.1109/ACSAC.2007.7}, tags = {constraints, security, debugging}, researchr = {https://researchr.org/publication/KilSNZ07}, cites = {0}, citedby = {0}, pages = {453-462}, booktitle = {23rd Annual Computer Security Applications Conference (ACSAC 2007), December 10-14, 2007, Miami Beach, Florida, USA}, publisher = {IEEE Computer Society}, }