Zoya Yeprem (University of Virginia)
Analyzing the Security of Smart Automobile Applications
View More Papers
Creating Human Readable Path Constraints from Symbolic Execution
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read MoreThe evolution of program analysis approaches in the era...
Alex Matrosov (CEO and Founder of Binarly Inc.)
Read MoreBeyond the C: Retargetable Decompilation using Neural Machine Translation
Iman Hosseini, Brendan Dolan-Gavitt (NYU)
Read More