Demo #2: Policy-based Discovery and Patching of Logic Bugs in Robotic Vehicles
Hyungsub Kim (Purdue University), Muslum Ozgur Ozmen (Purdue University), Antonio Bianchi (Purdue University), Z. Berkay Celik (Purdue University) and Dongyan Xu (Purdue University)
View More Papers
DITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86...
Walid J. Ghandour, Clémentine Maurice (CNRS, CRIStAL)
Read MoreWIP: Interrupt Attack on TEE-protected Robotic Vehicles
Mulong Luo (Cornell University) and G. Edward Suh (Cornell University)
Read MoreBinary Search in Secure Computation
Marina Blanton (University at Buffalo (SUNY)), Chen Yuan (University at Buffalo (SUNY))
Read MorePrivacy in Urban Sensing with Instrumented Fleets, Using Air...
Ismi Abidi (IIT Delhi), Ishan Nangia (MPI-SWS), Paarijaat Aditya (Nokia Bell Labs), Rijurekha Sen (IIT Delhi)
Read More