SafeThings 2021

IEEE Workshop on the Internet of Safe Things

Co-located with Oakland 2021 »

May 27th, 2021

The Internet of Things (IoT) has become increasingly popular and innovative. With the rise of connected devices, we have an opportunity to significantly improve the safety of legacy systems. For instance, insights from data across systems can be exploited to reduce accidents, improve air quality and support disaster events. IoT based cyber-physical systems (CPS) also bring new risks that arise due to the unexpected interaction between systems and the larger number of attack vectors on these systems. These safety risks can arise in the context of use of medical devices, smart home appliance control, smart car design or conflicts in policy execution at a societal scale.

The Internet of Safe Things workshop seeks to bring together researchers to create solutions for the development of safe cyber-physical systems. As safety is inherently linked with the security and privacy of a system, we also seek contributions in these areas that address safety concerns. We seek to develop a community that systematically dissects the vulnerabilities and risks exposed by these emerging CPSes, and creates tools, algorithms, frameworks, and systems that help in the development of safe systems.

We seek contributions across domains - autonomous vehicles, smart homes, medical devices, smart grid; and across disciplines - systems, control, human-computer interaction, security, reliability, machine learning, and verification.


Program

All times are in PDT (UTC-8)

09:00 AM - 09:15 AM | Opening Remarks and Best Paper Award Announcement
Qi Alfred Chen, Yuan Tian, Earlence Fernandes and Luis Garcia
09:15 AM - 10:15 AM | Keynote (with 15 min of Q&A)
Prof. Sanjit Seshia
10:15 AM - 10:30 AM | Break
10:30 AM - 12:10 PM | Technical Papers - Session 1 (20 min each: 15 min presentation + 5 min Q&A)
Alexa in Phishingland: Empirical Assessment of Susceptibility to Phishing Pretexting in Voice Assistant Environments
Filipo Sharevski (DePaul University) and Peter Jachim (Divergent Design Lab)

BLEKeeper: Response Time Behavior Based Man-In-The-Middle Attack Detection
Muhammed Ali Yurdagul and Husrev Sencar (TOBB University)

LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices
Carlton Shepherd (Royal Holloway, University of London), Konstantinos Markantonakis (Royal Holloway, University of London) and Georges-Axel Jaloyan (Ecole Normale Superieure)

HybriDiagnostics: Evaluating Security Issues in Hybrid SmartHome Companion Apps
Abhinav Mohanty and Meera Sridhar (University of North Carolina Charlotte)

On the Safety Implications of Misordered Events and Commands in IoT Systems
Furkan Goksel (Middle East Technical University), Muslum Ozgur Ozmen (Purdue University), Michael Reeves (Purdue University), Basavesh Ammanaghatta Shivakumar (Purdue University) and Z. Berkay Celik (Purdue University)
12:10 PM - 01:30 PM | Lunch Break
01:30 PM - 01:50 PM | Demo Session (5 min each: 3 min demo + 2 min Q&A)
Demo: Attacking Multi-Sensor Fusion based Localization in High-Level Autonomous Driving
Junjie Shen, Jun Yeon Won, Zeyuan Chen and Qi Alfred Chen (UC Irvine)

Demo: Security of Camera-based Perception for Autonomous Driving under Adversarial Attack
Christopher DiPalma, Ningfei Wang, Takami Sato and Qi Alfred Chen (UC Irvine)

Demo: Security of Deep Learning based Automated Lane Centering under Physical-World Attack
Takami Sato (UC Irvine), Junjie Shen (UC Irvine), Ningfei Wang (UC Irvine), Yunhan Jia (Bytedance), Xue Lin (Northeastern University) and Qi Alfred Chen (UC Irvine)

Demo: ROI Attacks on Traffic Light Detection in High-Level Autonomous Driving
Kanglan Tang, Junjie Shen and Qi Alfred Chen (UC Irvine)
01:50 PM - 02:00 PM | Break
02:00 PM - 03:20 PM | Technical Papers - Session 2 (20 min each: 15 min presentation + 5 min Q&A)
A Containerization-Based Backfit Approach for Industrial Control System Resiliency
James Schaffter, Aviel Rubin and Lanier Watkins (Johns Hopkins University)

HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems
Mustafa Abdallah (Purdue University), Sayan Mitra (University of Illinois at Urbana-Champaign), Shreyas Sundaram (Purdue University) and Saurabh Bagchi (Purdue University)

Protecting IoT Devices through Localized Detection of BGP Hijacks for Individual Things
Donginn Kim, Vafa Andalibi and Jean Camp (Indiana University Bloomington)

Egocentric abstractions for verification of distributed cyber-physical systems
Sung Woo Jeon and Sayan Mitra (University of Illinois at Urbana-Champaign)
03:20 PM - 03:30 PM | Closing Remarks

Important Dates


Paper/Demo Submission Deadline January 25th, 2021 (AoE, UTC-12)
January 29th, 2021 (AoE, UTC-12)
Acceptance Notification February 25th, 2021
Camera-ready Submission Deadline March 5th, 2021 (AoE, UTC-12)
March 25th, 2021 (AoE, UTC-12)
Workshop May 27th, 2021

Call for Papers

As traditionally segregated systems are brought online for next-generation connected applications, we have an opportunity to significantly improve the safety of legacy systems. For instance, insights from data across systems can be exploited to reduce accidents, improve air quality and support disaster events. Cyber-physical systems (CPS) also bring new risks that arise due to the unexpected interaction between systems. These safety risks arise because of information that distracts users while driving, software errors in medical devices, corner cases in data-driven control, compromised sensors in drones or conflicts in societal policies. Accordingly, the Workshop on the Internet of Safe Things (or SafeThings, for brevity) seeks to bring researchers and practitioners that are actively exploring system design, modeling, verification, authentication approaches to provide safety guarantees in the Internet of Things (IoT). The workshop welcomes contributions that integrate hardware and software systems provided by disparate vendors, particularly those that have humans in the loop. As safety is inherently linked with security and privacy, we also seek contributions in these areas that address safety concerns. With the SafeThings workshop, we seek to develop a community that systematically dissects the vulnerabilities and risks exposed by these emerging CPSes, and create tools, algorithms, frameworks, and systems that help in the development of safe systems.

The scope of SafeThings includes safety topics as it relates to an individual’s health (physical, mental), society (air pollution, toxicity, disaster events), or the environment (species preservation, global warming, oil spills). The workshop considers safety from a human perspective, and thus, does not include topics such as thread safety or memory safety in its scope.

Topics of interest include, but are not limited to, the following categories:

In addition, application domains of interest include, but are not limited to autonomous vehicles and transportation infrastructure; medical CPS and public health; smart buildings, smart grid and smart cities.

The PC will select a best paper award for work that distinguishes itself in moving the security and privacy of IoT/CPS forward through novel attacks or defenses.

Call for Demos

In addition to presentation of accepted papers, SafeThings will include a demo session that is designed to allow researchers to share demonstrations of their systems that include CPS/IoT security and safety as a major design goal. Demos of attacks are also welcome.


Submission Instruction

Submitted papers must be in English, unpublished, and must not be currently under review for any other publication. Submissions must follow the official IEEE Conference Proceedings format. Full papers must be at most 6 single-spaced, double column 8.5” x 11” pages excluding references. Demos must be at most 1 single-spaced, double column 8.5” x 11” page, and have "Demo:" in their titles. All figures must fit within these limits. Authors are encouraged to use the IEEE conference proceedings templates. LaTeX submissions should use IEEEtran.cls version 1.8b. Papers that do not meet the size and formatting requirements will not be reviewed. All papers must be in Adobe Portable Document Format (PDF) and submitted through the web submission form via EasyChair (submission link below). The review process is double-blind.

Full Papers: 6 pages excluding references.
Demos: 1 page (with "Demo:" in the title).

Submission Form »


Organization


General Chairs

Qi Alfred Chen (University of California, Irvine)

Yuan Tian (University of Virginia)


Program Committee Chairs

Luis Garcia (University of Southern California Information Sciences Institute)

Earlence Fernandes (University of Wisconsin-Madison)


Web Chair

Junjie Shen (University of California, Irvine)


Technical Program Committee

Mohammad Al Faruque (University of California, Irvine)

Fatima Anwar (UMass Amherst)

Ferdinand Brasser (Technische Universität Darmstadt, Germany)

Berkay Celik (Purdue University)

Rahul Chatterjee (University of Wisconsin-Madison)

Salma Elmalaki (University of California, Irvine)

Sriharsha Etigowni (Purdue University)

Kassem Fawaz (University of Wisconsin-Madison)

Ryan M. Gerdes (Virginia Tech)

Maria Gorlatova (Duke University)

Xiali (Sharon) Hei (University of Louisiana at Lafayette)

Insup Lee (University of Pennsylvania)

Kang Li (Baidu Security)

Zhiqiang Lin (Ohio State University)

Z. Morley Mao (University of Michigan, Ann Arbor)

Sibin Mohan (University of Illinois, Urbana Champaign)

Adwait Nadkarni (William & Mary)

Cristina Nita-Rotaru (Northeastern University)

Jonathan Petit (Qualcomm)

Atul Prakash (University of Michigan, Ann Arbor)

Amir Rahmati (Stony Brook University)

Sara Rampazzi (University of Florida)

Aanjhan Ranganathan (Northeastern University)

Junghwan "John" Rhee (University of Central Oklahoma)

Yasser Shoukry (University of California, Irvine)

Sandeep Shukla (IIT Kanpur, India)

Nils Ole Tippenhauer (CISPA, Germany)

Gene Tsudik (University of California, Irvine)

Jim Weimer (University of Pennsylvania)

André Weimerskirch (Lear Corporation)

Ziming Zhao (University at Buffalo)

Saman Zonouz (Rutgers University)


Steering Committee

Bharathan Balaji (Amazon)

Robin Kravets (University of Illinois, Urbana Champaign)

Mani Srivastava (University of California, Los Angeles)

John A. Stankovic (University of Virginia)

Patrick Tague (Carnegie Mellon University)