Alex Matrosov (CEO and Founder of Binarly Inc.)
The evolution of program analysis approaches in the era of AI
View More Papers
Creating Human Readable Path Constraints from Symbolic Execution
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read MoreEvaluating Wireless Attacks Against CCS Electric Vehicle Charging
Sebastian Köhler (University of Oxford)
Read MoreShort Paper: Declarative Demand-Driven Reverse Engineering
Yihao Sun, Jeffrey Ching, Kristopher Micinski (Department of Electical Engineering and Computer Science, Syracuse University)
Read More