Yan Shoshitaishvili (Arizona State University)
From Zero to Hero: Bootstrapping Students into Binary Analysis
View More Papers
A Heuristic Approach to Detect Opaque Predicates that Disrupt...
Yu-Jye Tung (University of California, Irvine), Ian Harris (University of California Irvine)
Read MoreLibAFL QEMU: A Library for Fuzzing-oriented Emulation
Romain Malmain (EURECOM), Andrea Fioraldi (EURECOM), Aurelien Francillon (EURECOM)
Read MoreIt 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)
Read MorePISE: Protocol Inference using Symbolic Execution and Automata Learning
Ron Marcovich, Orna Grumberg, Gabi Nakibly (Technion, Israel Institute of Technology)
Read More