Alex Matrosov (CEO and Founder of Binarly Inc.)
The evolution of program analysis approaches in the era of AI
View More Papers
Formally Verified Software Update Management System in Automotive
Jaewan Seo, Jiwon Kwak, Seungjoo Kim (Korea University)
Read MoreNon-Interactive Privacy-Preserving Sybil-Free Authentication Scheme in VANETs
Mahdi Akil (Karlstad University), Leonardo Martucci (Karlstad University), Jaap-Henk Hoepman (Radboud University)
Read MoreWIP: The Feasibility of High-performance Message Authentication in Automotive...
Evan Allen (Virginia Tech), Zeb Bowden (Virginia Tech Transportation Institute), Randy Marchany (Virginia Tech), J. Scot Ransbottom (Virginia Tech)
Read MoreA Heuristic Approach to Detect Opaque Predicates that Disrupt...
Yu-Jye Tung (University of California, Irvine), Ian Harris (University of California Irvine)
Read More