Automated Source Code Instrumentation for Verifying Potential Vulnerabilities

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]

Authors

Hongzhe Li

This author has not been identified. Look up 'Hongzhe Li' in Google

Jaesang Oh

This author has not been identified. Look up 'Jaesang Oh' in Google

Hakjoo Oh

This author has not been identified. Look up 'Hakjoo Oh' in Google

Heejo Lee

This author has not been identified. Look up 'Heejo Lee' in Google