Zoya Yeprem (University of Virginia)
Analyzing the Security of Smart Automobile Applications
View More Papers
cozy: Comparative Symbolic Execution for Binary Programs
Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper)
Read MoreNVLift: Lifting NVIDIA GPU Assembly to LLVM IR for...
Junpeng Wan, Louis Zheng-Hua Tan, Dave (Jing) Tian (Purdue University)
Read MoreRapid Vulnerability Mitigation with Security Workarounds
Zhen Huang (Pennsylvania State University), Gang Tan (Pennsylvania State University)
Read More