Baojiang

An Instruction-level Symbolic Checksum System for Windows x86 Program

Wang, Ji, Cui, 2012 .

Detecting Integer Overflow Vulnerabilities in Binary Executables Based on Target Filtering and Dynamic Taint Tracing

Wang, Liang, Cui, 2014 .