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