Dustin Fraze, Program Manager, DARPA I2O
BAR2019 Keynote Talk
View More Papers
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)
Read MoreBinary Analysis: An AI Success Story
Perri Adams, Dartmouth College ISTS Fellow & John Hopkins SAIS Adjunct Professor
Read MoreRapid Vulnerability Mitigation with Security Workarounds
Zhen Huang (Pennsylvania State University), Gang Tan (Pennsylvania State University)
Read More