Yu-Jye Tung (University of California, Irvine), Ian Harris (University of California Irvine)
A Heuristic Approach to Detect Opaque Predicates that Disrupt Static Disassembly
View More Papers
CBAT: A Comparative Binary Analysis Tool
Chloe Fortuna (STR), JT Paasch (STR), Sam Lasser (Draper), Philip Zucker (Draper), Chris Casinghino (Jane Street), Cody Roux (AWS)
Read MoreBPA-X: An Architecture-Agnostic Block-Based Points-to Analysis for Stripped Binaries
Bokai Zhang, Monika Santra, Syed Rafiul Hussain, Gang Tan (Pennsylvania State University)
Read MoreLAPSE: Automatic, Formal Fault-Tolerant Correctness Proofs for Native Code
Charles Averill, Ilan Buzzetti (The University of Texas at Dallas), Alex Bellon (UC San Diego), Kevin Hamlen (The University of Texas at Dallas)
Read More