Securing software systems via fuzz testing and verification

بواسطة Chen, Hongxu
منشور في 2020

S-Looper: Automatic summarization for multipath string loops

بواسطة XIE, Xiaofei, LIU, Yang, LE, Wei, LI, Xiaohong, CHEN, Hongxu
منشور في 2015

Coverage-guided fuzzing for feedforward neural networks

بواسطة XIE, Xiaofei, CHEN, Hongxu, LI, Yi, MA, Lei, LIU, Yang, ZHAO, Jianjun
منشور في 2019

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

بواسطة QUAN, Lili, GUO, Qianyu, CHEN, Hongxu, XIE, Xiaofei, LI, Xiaohong, LIU, Yang, HU, Jing
منشور في 2020

Hawkeye: Towards a desired directed grey-box fuzzer

بواسطة CHEN, Hongxu, XUE, Yinxing, LI, Yuekang, CHEN, Bihuan, XIE, Xiaofei, WU, Xiuheng, LIU, Yang
منشور في 2018

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

بواسطة XUE, Yinxing, MENG, Guozhu, LIU, Yang, TAN, Tian Huat, CHEN, Hongxu, SUN, Jun, ZHANG, Jie
منشور في 2017

Cerebro: Context-aware adaptive fuzzing for effective vulnerability detection

بواسطة LI, Yuekang, XUE, Yinxing, CHEN, Hongxu, WU, Xiuheng, ZHANG, Cen, XIE, Xiaofei, WANG, Haijun, LIU, Yang
منشور في 2019

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

بواسطة WANG, Haijun, XIE, Xiaofei, LI, Yi, WEN, Cheng, LI, Yuekang, LIU, Yang, QIN, Shengchao, CHEN, Hongxu, SUI, Yulei
منشور في 2020

MemLock: Memory usage guided fuzzing

بواسطة WEN, Cheng, WANG, Haijun, LI, Yuekang, QIN, Shengchao, LIU, Yang, XU, Zhiwu, CHEN, Hongxu, Xiaofei XIE, PU, Geguang, LIU, Ting
منشور في 2020

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

بواسطة XIE, Xiaofei, MA, Lei, JUEFEI-XU, Felix, XUE, Minhui, CHEN, Hongxu, LIU, Yang, ZHAO, Jianjun, LI, Bo, YIN, Jianxiong, SEE, Simon
منشور في 2019