Xiaozhu Meng (University of Wisconsin-Madison)
Towards Parallel Binary Code Analysis
View More Papers
icLibFuzzer: Isolated-context libFuzzer for Improving Fuzzer Comparability
Yu-Chuan Liang, Hsu-Chun Hsiao (National Taiwan University)
Read MoreLAPSE: Automatic, Formal Fault-Tolerant Correctness Proofs for Native Code
Charles Averill, Ilan Buzzetti (The University of Texas at Dallas), Alex Bellon (UC San Diego), Kevin Hamlen (The University of Texas at Dallas)
Read More15 Years of Binary Analysis – What worked, and...
Marion Marschalek, Hack & Cheese Security Consulting
Read More