Hongzhe Li, Jaesang Oh, Hakjoo Oh, Heejo Lee. Automated Source Code Instrumentation for Verifying Potential Vulnerabilities. In Jaap-Henk Hoepman, Stefan Katzenbeisser 0001, editors, ICT Systems Security and Privacy Protection - 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings. Volume 471 of IFIP Advances in Information and Communication Technology, pages 211-226, Springer, 2016. [doi]
@inproceedings{LiOOL16,
title = {Automated Source Code Instrumentation for Verifying Potential Vulnerabilities},
author = {Hongzhe Li and Jaesang Oh and Hakjoo Oh and Heejo Lee},
year = {2016},
doi = {10.1007/978-3-319-33630-5_15},
url = {http://dx.doi.org/10.1007/978-3-319-33630-5_15},
researchr = {https://researchr.org/publication/LiOOL16},
cites = {0},
citedby = {0},
pages = {211-226},
booktitle = {ICT Systems Security and Privacy Protection - 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings},
editor = {Jaap-Henk Hoepman and Stefan Katzenbeisser 0001},
volume = {471},
series = {IFIP Advances in Information and Communication Technology},
publisher = {Springer},
isbn = {978-3-319-33629-9},
}