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
LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via...
Zhenxiao Qi (UC Riverside), Yu Qu (UC Riverside), Heng Yin (UC Riverside)
Read MoreClarion: Anonymous Communication from Multiparty Shuffling Protocols
Saba Eskandarian (University of North Carolina at Chapel Hill), Dan Boneh (Stanford University)
Read MoreHARPO: Learning to Subvert Online Behavioral Advertising
Jiang Zhang (University of Southern California), Konstantinos Psounis (University of Southern California), Muhammad Haroon (University of California, Davis), Zubair Shafiq (University of California, Davis)
Read MoreSpeeding Dumbo: Pushing Asynchronous BFT Closer to Practice
Bingyong Guo (Institute of Software, Chinese Academy of Sciences), Yuan Lu (Institute of Software Chinese Academy of Sciences), Zhenliang Lu (The University of Sydney), Qiang Tang (The University of Sydney), jing xu (Institute of Software, Chinese Academy of Sciences), Zhenfeng Zhang (Institute of Software, Chinese Academy of Sciences)
Read More