Web Analytics
S3 Lab - Software & Systems Security Laboratory

software testing people

Minkyung Park
Minkyung Park
Post-doctoral associate

software testing courses and seminar

Software & Systems Security Seminar

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

software testing projects

AutoInsight AutoInsight

The AutoInsight project applies advanced techniques in software security and control systems to build a new security analysis platform for modern 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 software testing publications (see all)

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 ]
HFL: Hybrid Fuzzing on the Linux Kernel
Kyungtae Kim, Dae R. Jeong, Chung Hwan Kim, Yeongjin Jang, Insik Shin, and Byoungyoung Lee
In NDSS 2020 [ pdf :: slides :: bibtex ]
RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing
Taegyu Kim, Chung Hwan Kim, Junghwan Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, and Dongyan Xu
In USENIX Security 2019 [ pdf :: slides :: bibtex ]