%0 Conference Paper %1 conf/acsac/KilSNZ07 %A Kil, Chongkyung %A Sezer, Emre Can %A Ning, Peng %A Zhang, Xiaolan %B ACSAC %D 2007 %I IEEE Computer Society %K dblp %P 453-462 %T Automated Security Debugging Using Program Structural Constraints. %U http://dblp.uni-trier.de/db/conf/acsac/acsac2007.html#KilSNZ07 %@ 0-7695-3060-5

@inproceedings{conf/acsac/KilSNZ07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Kil, Chongkyung and Sezer, Emre Can and Ning, Peng and Zhang, Xiaolan}, biburl = {https://www.bibsonomy.org/bibtex/267820cd77779ffe87f754015fe6b85f7/dblp}, booktitle = {ACSAC}, crossref = {conf/acsac/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/ACSAC.2007.19}, interhash = {97b5a565e26296a5e0490da352e96cfc}, intrahash = {67820cd77779ffe87f754015fe6b85f7}, isbn = {0-7695-3060-5}, keywords = {dblp}, pages = {453-462}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:50:24.000+0200}, title = {Automated Security Debugging Using Program Structural Constraints.}, url = {http://dblp.uni-trier.de/db/conf/acsac/acsac2007.html#KilSNZ07}, year = 2007 }