Analyzing the Security of Smart Automobile Applications

FunctionSimSearch: Fast search for statically linked library functions

Thomas Dullien

Creating Human Readable Path Constraints from Symbolic Execution

Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)

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

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

Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary...

Arnau Gàmez-Montolio (City, University of London; Activision Research), Enric Florit (Universitat de Barcelona), Martin Brain (City, University of London), Jacob M. Howe (City, University of London)

Analyzing the Security of Smart Automobile Applications

View More Papers

FunctionSimSearch: Fast search for statically linked library functions

Creating Human Readable Path Constraints from Symbolic Execution

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

Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary...