Analyzing the Security of Smart Automobile Applications

Accurate Compiler and Optimization Independent Function Identification Using Program...

Derrick McKee (Purdue University), Nathan Burow (MIT Lincoln Laboratory), Mathias Payer (EPFL)

Sn4ke: Practical Mutation Analysis of Tests at Binary Level

Mohsen Ahmadi (Arizona State University), Pantea Kiaei (Worcester Polytechnic Institute), Navid Emamdoost (University of Minnesota)

JMPscare: Introspection for Binary-Only Fuzzing

Dominik Maier, Lukas Seidel (TU Berlin)

It Doesn’t Have to Be So Hard: Efficient Symbolic...

Vaibhav Sharma (University of Minnesota), Navid Emamdoost (University of Minnesota), Seonmo Kim (University of Minnesota), Stephen McCamant (University of Minnesota)

Analyzing the Security of Smart Automobile Applications

View More Papers

Accurate Compiler and Optimization Independent Function Identification Using Program...

Sn4ke: Practical Mutation Analysis of Tests at Binary Level

JMPscare: Introspection for Binary-Only Fuzzing

It Doesn’t Have to Be So Hard: Efficient Symbolic...