Automated Source Code Instrumentation for Verifying Potential Vulnerabilities. - Hongzhe Li; Jaesang Oh; Hakjoo Oh; Heejo Lee (SEC, 2016)

Detecting Violations of Security Requirements for Vulnerability Discovery in Source Code. - Hongzhe Li; Jaesang Oh; Heejo Lee (IEICE Trans. Inf. Syst., 2016)

Obfuscated VBA Macro Detection Using Machine Learning. - Sangwoo Kim; Seokmyung Hong; Jaesang Oh; Heejo Lee (DSN, 2018)