Hyungsub Kim (Purdue University), Muslum Ozgur Ozmen (Purdue University), Antonio Bianchi (Purdue University), Z. Berkay Celik (Purdue University) and Dongyan Xu (Purdue University)
Demo #2: Policy-based Discovery and Patching of Logic Bugs in Robotic Vehicles
View More Papers
Transparency Dictionaries with Succinct Proofs of Correct Operation
Ioanna Tzialla (New York University), Abhiram Kothapalli (Carnegie Mellon University), Bryan Parno (Carnegie Mellon University), Srinath Setty (Microsoft Research)
Read MoreDITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86...
Walid J. Ghandour, Clémentine Maurice (CNRS, CRIStAL)
Read MoreDemo #4: Recovering Autonomous Robotic Vehicles from Physical Attacks
Pritam Dash (University of British Columbia) and Karthik Pattabiraman (University of British Columbia)
Read More