Mining patterns of unsatisfiable constraints to detect infeasible paths

by DING, Sun, TAN, Hee Beng Kuan, SHAR, Lwin Khin
Published 2015

Detection of buffer overflow vulnerabilities in C/C++ with pattern based limited symbolic evaluation

by Ding, Sun, Tan, Hee Beng Kuan, Liu, Kaiping, Chandramohan, Mahinthan, Zhang, Hongyu
Published 2013

Towards a hybrid framework for detecting input manipulation vulnerabilities

by DING, Sun, TAN, Hee Beng Kuan, SHAR, Lwin Khin, PADMANABHUNI, Bindu Madhavi
Published 2013

Dual spectrometer system with spectral compounding for 1-μm optical coherence tomography in vivo

by Cui, Dongyao, Liu, Xinyu, Zhang, Jing, Yu, Xiaojun, Ding, Sun, Luo, Yuemei, Gu, Jun, Shum, Ping, Liu, Linbo
Published 2015