Chloe Fortuna (STR), Chris Casinghino (Jane Street), Sam Lasser (Draper), JT Paasch (STR), Cody Roux (AWS), Philip Zucker (Draper)
CBAT: A Comparative Binary Analysis Tool
View More Papers
Symphony: Path Validation at Scale
Anxiao He (Zhejiang University), Jiandong Fu (Zhejiang University), Kai Bu (Zhejiang University), Ruiqi Zhou (Zhejiang University), Chenlu Miao (Zhejiang University), Kui Ren (Zhejiang University)
Read MoreFacilitating Threat Modeling by Leveraging Large Language Models
Isra Elsharef, Zhen Zeng (University of Wisconsin-Milwaukee), Zhongshu Gu (IBM Research)
Read MoreIs Your Firmware Real or Re-Hosted? A case study...
Abraham A. Clements, Logan Carpenter, William A. Moeglein (Sandia National Laboratories), Christopher Wright (Purdue University)
Read More