Rachael Little, Dongpeng Xu (University of New Hampshire)
Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation
View More Papers
Formally Verifying the Newest Versions of the GNSS-centric TESLA...
Ioana Boureanu, Stephan Wesemeyer (Surrey Centre for Cyber Security, University of Surrey)
Read MoreFirmLine: a Generic Pipeline for Large-Scale Analysis of Non-Linux...
Alexander Balgavy (Independent), Marius Muench (University of Birmingham)
Read MoreA Large-Scale Measurement Study of the PROXY Protocol and...
Stijn Pletinckx (University of California, Santa Barbara), Christopher Kruegel (University of California, Santa Barbara), Giovanni Vigna (University of California, Santa Barbara)
Read MoreAnalyzing the Security of Smart Automobile Applications
Zoya Yeprem (University of Virginia)
Read More