Thomas Dullien
FunctionSimSearch: Fast search for statically linked library functions
View More Papers
NVLift: Lifting NVIDIA GPU Assembly to LLVM IR for...
Junpeng Wan, Louis Zheng-Hua Tan, Dave (Jing) Tian (Purdue 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 MoreAll things Binary
Dr. Sergey Bratus, DARPA PI and Research Associate Professor at Dartmouth College
Read More