Web Analytics
S3 Lab - Software & Systems Security Laboratory

security people

Minkyung Park
Minkyung Park
Postdoctoral scholar
Zelun Kong
Zelun Kong
PhD student
Md Nazmus Sakib
Md Nazmus Sakib
PhD student
Swathi Kote
Swathi Kote
Masters student
Nate Simmons
Nate Simmons
Masters student
Benjamin Carroll
Benjamin Carroll
Undergraduate student
Veer Shah
Veer Shah
Undergraduate student

security courses and seminar

Software & Systems Security Seminar

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

CS 6324: Information Security

A comprehensive study of security vulnerabilities in information systems and the basic techniques for developing secure applications and practicing safe computing.

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.

security projects

Trusted Things Trusted Things

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

Shear Shear

The Shear project creates a secure environment for the least-authority execution of over-privileged applications that may be exploited by adversaries to launch privileged attacks.

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.

AI Vault AI Vault

The AI Vault project designs and develops a new trusted execution environment tailored to run artificial intelligence and machine learning programs on modern AI platforms (e.g., cloud and embedded devices) while providing strong data confidentiality and high efficiency.

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.

CLUE CLUE

The CLUE project develops an infrastructure to detect and diagnose system anomalies in enterprise and cloud systems. These anomalies include stealthy malware and other types of hidden system anomalies. CLUE provides a diverse set of tools to find and understand such anomalies with minimal disruption to the target system.

recent security publications (see all)

FreePart: Hardening Data Processing Software via Framework-based Partitioning and Isolation
Ali Ahmad, Gang Wang, Chung Hwan Kim, Suman Jana, Zhiqiang Lin, and Yonghwi Kwon
In ASPLOS 2024 [ pdf :: bibtex ]
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 ]
Building GPU TEEs using CPU Secure Enclaves with GEVisor
Xiaolong Wu, Dave (Jing) Tian, and Chung Hwan Kim
In SOCC 2023 [ pdf :: slides :: bibtex ]