Thomas Dullien
FunctionSimSearch: Fast search for statically linked library functions
View More Papers
Blaze: A Framework for Interprocedural Binary Analysis
Matthew Revelle, Matt Parker, Kevin Orr (Kudu Dynamics)
Read MoreBinary Analysis: An AI Success Story
Perri Adams, Dartmouth College ISTS Fellow & John Hopkins SAIS Adjunct Professor
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