Securing software systems via fuzz testing and verification

by Chen, Hongxu
Published 2020

S-Looper: Automatic summarization for multipath string loops

by XIE, Xiaofei, LIU, Yang, LE, Wei, LI, Xiaohong, CHEN, Hongxu
Published 2015

Coverage-guided fuzzing for feedforward neural networks

by XIE, Xiaofei, CHEN, Hongxu, LI, Yi, MA, Lei, LIU, Yang, ZHAO, Jianjun
Published 2019

SADT: Syntax-aware differential testing of certificate validation in SSL/TLS Implementations

by QUAN, Lili, GUO, Qianyu, CHEN, Hongxu, XIE, Xiaofei, LI, Xiaohong, LIU, Yang, HU, Jing
Published 2020

Hawkeye: Towards a desired directed grey-box fuzzer

by CHEN, Hongxu, XUE, Yinxing, LI, Yuekang, CHEN, Bihuan, XIE, Xiaofei, WU, Xiuheng, LIU, Yang
Published 2018

Auditing anti-malware tools by evolving Android malware and dynamic loading technique

by XUE, Yinxing, MENG, Guozhu, LIU, Yang, TAN, Tian Huat, CHEN, Hongxu, SUN, Jun, ZHANG, Jie
Published 2017

Cerebro: Context-aware adaptive fuzzing for effective vulnerability detection

by LI, Yuekang, XUE, Yinxing, CHEN, Hongxu, WU, Xiuheng, ZHANG, Cen, XIE, Xiaofei, WANG, Haijun, LIU, Yang
Published 2019

Typestate-guided fuzzer for discovering use-after-free vulnerabilities

by WANG, Haijun, XIE, Xiaofei, LI, Yi, WEN, Cheng, LI, Yuekang, LIU, Yang, QIN, Shengchao, CHEN, Hongxu, SUI, Yulei
Published 2020

MemLock: Memory usage guided fuzzing

by WEN, Cheng, WANG, Haijun, LI, Yuekang, QIN, Shengchao, LIU, Yang, XU, Zhiwu, CHEN, Hongxu, Xiaofei XIE, PU, Geguang, LIU, Ting
Published 2020

DeepHunter: A coverage-guided fuzz testing framework for deep neural networks

by XIE, Xiaofei, MA, Lei, JUEFEI-XU, Felix, XUE, Minhui, CHEN, Hongxu, LIU, Yang, ZHAO, Jianjun, LI, Bo, YIN, Jianxiong, SEE, Simon
Published 2019