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