Finding 1-Day Vulnerabilities in Trusted Applications using Selective Symbolic Execution

Marcel Busch (Friedrich-Alexander-Universität Erlangen-Nürnberg), Kalle Dirsch (Friedrich-Alexander-Universität Erlangen-Nürnberg)

Paper

Slides

View More Papers

André Pacteau, Antonino Vitale, Davide Balzarotti, Simone Aonzo (EURECOM)

Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper)

Dr. Zhiqiang Lin (Distinguished Professor of Engineering at The Ohio State University)