1

TriMatch: Detecting Linux Kernel Memory Bugs with 3D Object-Aware Symmetry Checking
Zilin Guan*, Jianhao Xu, Dawei Feng*, Kangjie Lu, Bing Mao, Guang Cheng
Cite
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Jianhao Xu, Kunbo Zhang, Mathias Payer, Kangjie Lu, Bing Mao
PDF Cite
Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs
Jianhao Xu, Kangjie Lu, Zhengjie Du, Zhu Ding, Linke Li, Qiushi Wu, Mathias Payer, Bing Mao
PDF Cite
WarpAttack: Bypassing CFI with Compiler-Introduced double-fetch
Jianhao Xu, Luca Di Bartolomeo, Flavio Toffalini, Bing Mao, Mathias Payer
PDF Cite
An example conference paper
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum.
Jianhao Xu, Robert Ford
PDF Cite Project Slides
An example conference paper