Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper)
cozy: Comparative Symbolic Execution for Binary Programs
View More Papers
L-HAWK: A Controllable Physical Adversarial Patch Against a Long-Distance...
Taifeng Liu (Xidian University), Yang Liu (Xidian University), Zhuo Ma (Xidian University), Tong Yang (Peking University), Xinjing Liu (Xidian University), Teng Li (Xidian University), Jianfeng Ma (Xidian University)
Read MoreRetrofitting XoM for Stripped Binaries without Embedded Data Relocation
Chenke Luo (Wuhan University), Jiang Ming (Tulane University), Mengfei Xie (Wuhan University), Guojun Peng (Wuhan University), Jianming Fu (Wuhan University)
Read MoreB2R2: Building an Efficient Front-End for Binary Analysis
Minkyu Jung (KAIST), Soomin Kim (KAIST), HyungSeok Han (KAIST), Jaeseung Choi (KAIST), Sang Kil Cha (KAIST)
Read More