Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper)
cozy: Comparative Symbolic Execution for Binary Programs
View More Papers
Space Cybersecurity Testbed: Fidelity Framework, Example Implementation, and Characterization
Jose Luis Castanon Remy, Caleb Chang, Ekzhin Ear, Shouhuai Xu (University of Colorado Colorado Springs (UCCS))
Read MoreFrom Zero to Hero: Bootstrapping Students into Binary Analysis
Yan Shoshitaishvili (Arizona State University)
Read MoreJBomAudit: Assessing the Landscape, Compliance, and Security Implications of...
Yue Xiao (IBM Research), Dhilung Kirat (IBM Research), Douglas Lee Schales (IBM Research), Jiyong Jang (IBM Research), Luyi Xing (Indiana University Bloomington), Xiaojing Liao (Indiana University)
Read MoreBARBIE: Robust Backdoor Detection Based on Latent Separability
Hanlei Zhang (Zhejiang University), Yijie Bai (Zhejiang University), Yanjiao Chen (Zhejiang University), Zhongming Ma (Zhejiang University), Wenyuan Xu (Zhejiang University)
Read More