Analyzing the Security of Smart Automobile Applications

Zoya Yeprem (University of Virginia)

View More Papers

Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation

Rachael Little, Dongpeng Xu (University of New Hampshire)

The State of Firmware Analysis (And What We're Doing...

Eric Gustafson (UC Santa Barbara)

Performance, Correctness, Exceptions: Pick Three

Andrea Gussoni (Politecnico di Milano), Alessandro Di Federico (Politecnico di Milano), Pietro Fezzardi (Politecnico di Milano), Giovanni Agosta (Politecnico di Milano)