Web Analytics
S3 Lab - Software & Systems Security Laboratory

cyber-physical systems people

Zelun Kong
Zelun Kong
PhD student
Md Nazmus Sakib
Md Nazmus Sakib
PhD student
Nate Simmons
Nate Simmons
Masters student

cyber-physical systems courses and seminar

Software & Systems Security Seminar

A group seminar to read and discuss papers from recent and imminent top-tier security conferences.

CS 6301: 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 autonomous driving 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)

Poster: Deterministic Replay and Debugging for Robotic Systems
Md Nazmus Sakib, Seungmok Kim, Zelun Kong, Seulbae Kim, Kyu Hyung Lee, Heejo Lee, and Chung Hwan Kim
In ACSAC 2023 [ pdf :: bibtex ]
DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing
Seulbae Kim, Major Liu, Junghwan Rhee, Yuseok Jeon, Yonghwi Kwon, and Chung Hwan Kim
In CCS 2022 [ pdf :: slides :: bibtex ]
PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-metal Embedded Applications
Taegyu Kim, Vireshwar Kumar, Junghwan Rhee, Jizhou Chen, Kyungtae Kim, Chung Hwan Kim, Dongyan Xu, and Dave (Jing) Tian
In Security 2021 [ pdf :: slides :: bibtex ]