Yan Shoshitaishvili (Arizona State University)
From Zero to Hero: Bootstrapping Students into Binary Analysis
View More Papers
Creating Human Readable Path Constraints from Symbolic Execution
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read MoreA Comparative Study of Program Graph Effectiveness for Binary...
Michael Kadoshnikov, Clemente Izurieta, Matthew Revelle (Montana State University)
Read MoreicLibFuzzer: Isolated-context libFuzzer for Improving Fuzzer Comparability
Yu-Chuan Liang, Hsu-Chun Hsiao (National Taiwan University)
Read More