Towards Parallel Binary Code Analysis

Xiaozhu Meng (University of Wisconsin-Madison)

View More Papers

Bangr: Binary Ninja + angr

Kevan Baker, Daniel R. Tauritz, Samuel Mulder (Auburn University)

Enhancing Symbolic Execution by Machine Learning Based Solver Selection

Sheng-Han Wen (National Taiwan University), Wei-Loon Mow (National Taiwan University), Wei-Ning Chen (National Taiwan University), Chien-Yuan Wang (National Taiwan University), Hsu-Chun Hsiao (National Taiwan University)

Analyzing the Security of Smart Automobile Applications

Zoya Yeprem (University of Virginia)