Marcel Busch (Friedrich-Alexander-Universität Erlangen-Nürnberg), Kalle Dirsch (Friedrich-Alexander-Universität Erlangen-Nürnberg)
Finding 1-Day Vulnerabilities in Trusted Applications using Selective Symbolic Execution
View More Papers
No Source Code? No Problem! Twenty Years of Research...
Jack W. Davidson, Professor of Computer Science in the School of Engineering and Applied Science, University of Virginia
Read MoreInspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation
Rachael Little, Dongpeng Xu (University of New Hampshire)
Read MoreLibAFL QEMU: A Library for Fuzzing-oriented Emulation
Romain Malmain (EURECOM), Andrea Fioraldi (EURECOM), Aurelien Francillon (EURECOM)
Read More