Robin David (Quarkslab), Luigi Coniglio (University of Trento), Mariano Ceccato (University of Verona)
QSynth – A Program Synthesis based approach for Binary Code Deobfuscation
View More Papers
PISE: Protocol Inference using Symbolic Execution and Automata Learning
Ron Marcovich, Orna Grumberg, Gabi Nakibly (Technion, Israel Institute of Technology)
Read MoreAnalyzing the Security of Smart Automobile Applications
Zoya Yeprem (University of Virginia)
Read MoreFrom Zero to Hero: Bootstrapping Students into Binary Analysis
Yan Shoshitaishvili (Arizona State University)
Read More