Yan Shoshitaishvili (Arizona State University)
Reconciling the Hacker Spirit
View More Papers
Formally Verified Software Update Management System in Automotive
Jaewan Seo, Jiwon Kwak, Seungjoo Kim (Korea University)
Read MoreAnalysing Adversarial Threats to Rule-Based Local-Planning Algorithms for Autonomous...
Andrew Roberts (Tallinn University of Technology), Mohsen Malayjerdi (Tallinn University of Technology), Mauro Bellone (Tallinn University of Technology), Olaf Maennel (The University of Adelaide), Ehsan Malayjerdi (Tallinn University of Technology)
Read MoreTowards a Unified Cybersecurity Testing Lab for Satellite, Aerospace,...
Andrei Costin, Hannu Turtiainen, Syed Khandkher and Timo Hamalainen (Faculty of Information Technology, University of Jyvaskyla, Finland) Presenter: Andrei Costin
Read MoreREaaS: Enabling Adversarially Robust Downstream Classifiers via Robust Encoder...
Wenjie Qu (Huazhong University of Science and Technology), Jinyuan Jia (University of Illinois Urbana-Champaign), Neil Zhenqiang Gong (Duke University)
Read More