Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
Analyzing the Security of Smart Automobile Applications
Zoya Yeprem (University of Virginia)
Read MoreDITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86...
Walid J. Ghandour, Clémentine Maurice (CNRS, CRIStAL)
Read MoreInspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation
Rachael Little, Dongpeng Xu (University of New Hampshire)
Read More