Zoya Yeprem (University of Virginia)
Analyzing the Security of Smart Automobile Applications
View More Papers
Creating Human Readable Path Constraints from Symbolic Execution
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read MoreLibAFL QEMU: A Library for Fuzzing-oriented Emulation
Romain Malmain (EURECOM), Andrea Fioraldi (EURECOM), Aurelien Francillon (EURECOM)
Read MoreBlaze: A Framework for Interprocedural Binary Analysis
Matthew Revelle, Matt Parker, Kevin Orr (Kudu Dynamics)
Read MoreThe hard things about analyzing 1’s and 0’s...
Dr. David Brumley, Carnegie Mellon University - ForAllSecure
Read More