Dr. Sergey Bratus, DARPA PI and Research Associate Professor at Dartmouth College
All things Binary
View More Papers
Euler: Detecting Network Lateral Movement via Scalable Temporal Graph...
Isaiah J. King (The George Washington University), H. Howie Huang (The George Washington 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 MoreDemo #2: Policy-based Discovery and Patching of Logic Bugs...
Hyungsub Kim (Purdue University), Muslum Ozgur Ozmen (Purdue University), Antonio Bianchi (Purdue University), Z. Berkay Celik (Purdue University) and Dongyan Xu (Purdue University)
Read More