S3 Lab - Software & Systems Security Laboratory

cyber-physical systems people

Junghwan (John) Rhee
Junghwan (John) Rhee
Affiliated Faculty
Deeprangshu Pal
Deeprangshu Pal
Masters student
Vasuki Shankar
Vasuki Shankar
Masters student

cyber-physical systems courses and seminar

CS 6301.007: Special Topics in Computer Science - Security of CPS & IoT Systems

This graduate-level course covers security issues relating to cyber-physical systems and the Internet of Things.

cyber-physical systems projects

Trusted Things Trusted Things

The Trusted Things project develops new software systems to enable secure IoT leveraging trusted execution environment techniques.

RetroFirm RetroFirm

The RetroFirm project focuses on analyzing and modifying the off-the-shelf firmware binary images of various cyber-physical and IoT systems to enhance their security.

PeriShield PeriShield

The PeriShield project analyzes the security of various types of peripheral devices and it develops cutting-edge tools to detect/prevent malicious peripherals.

AutoInsight AutoInsight

The AutoInsight project applies advanced techniques in software security and control systems to build a new security analysis platform for self-driving car systems.

RetroV RetroV

Robotic vehicles (as known as drones) are facing various threats of cyber-physical attacks that exploit their security vulnerabilities. RetroV develops automated analysis tools to find such vulnerabilities in existing robotic vehicle systems retrospectively and retrofits their design against advanced cyber-physical attacks.

recent cyber-physical systems publications (see all)

PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-metal Embedded Applications (to appear)
Taegyu Kim, Vireshwar Kumar, Junghwan (John) Rhee, Jizhou Chen, Kyungtae Kim, Chung Hwan Kim, Dongyan Xu, and Dave (Jing) Tian
In Security 2021 [ bibtex ]
From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with Mayday
Taegyu Kim, Chung Hwan Kim, Altay Ozen, Fan Fei, Zhan Tu, Xiangyu Zhang, Xinyan Deng, Dave (Jing) Tian, and Dongyan Xu
In Security 2020 [ pdf :: slides :: bibtex ]
RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing
Taegyu Kim, Chung Hwan Kim, Junghwan (John) Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, and Dongyan Xu
In Security 2019 [ pdf :: slides :: bibtex ]
Securing Real-Time Microcontroller Systems through Customized Memory View Switching
Chung Hwan Kim, Taegyu Kim, Hongjun Choi, Zhongshu Gu, Xiangyu Zhang, and Dongyan Xu
In NDSS 2018 [ pdf :: slides :: bibtex ]
RevARM: A Platform-Agnostic ARM Binary Rewriter for Security Applications
Taegyu Kim, Chung Hwan Kim, Hongjun Choi, Yonghwi Kwon, Brendan Saltaformaggio, Xiangyu Zhang, and Dongyan Xu
In ACSAC 2017 [ pdf :: slides :: bibtex ]