Our lab is dedicated to enhancing the security of software and AI systems through vulnerability detection and the enforcement of secure execution.

Our recent research focuses on the following areas:

1

Open-Source Software Security

identifying vulnerabilities in open-source software

2

Rust Security

improving the security of Rust applications

3

Physical AI Security

identifying vulnerabilities in physical AI, including robots, autonomous vehicles, and drones

4

AI Agent Security

developing runtime enforcement approaches to prevent AI agent misbehavior

5

AI Model Security & Privacy

identifying and mitigating security and privacy threats in AI models, including jailbreaks, backdoors, and membership inference attacks

We are always looking for motivated undergraduate and graduate students, as well as postdoctoral researchers. If you are interested in working with us, please send an email to Yuseok Jeon (ys_jeon@korea.ac.kr).

News
  • Jun 2026ICheck is accepted to ASE 2026.
  • May 2026RustGo is accepted to CCS 2026.
  • Dec 2025ICP-MIA is accepted to NDSS 2026.
  • Sep 2025Prof. Yuseok Jeon is serving as a PC at ACM CCS 2026.
  • Aug 2025Prof. Yuseok Jeon is serving as an Associate Editor at ACM Computing Surveys (CSUR).
  • Jun 2025Prof. Yuseok Jeon is serving as a PC at USENIX Security 2026.
  • May 2025AHA-fuzz is accepted to ACM CCS 2025.
  • Apr 2025Prof. Yuseok Jeon is serving as a PC at NDSS 2026.
  • Mar 2025Type++ is awarded Distinguished Paper Award at NDSS 2025.
  • Mar 2025S2 Lab moved to the CSE at Korea University.
  • Jan 2025PathFinder is accepted to IEEE/ACM ICSE 2025.
  • Sep 2024CMASan is accepted to IEEE S&P 2025.
  • Sep 2024Two graduate students joined our group. Welcome Jaeeun Eom and Zeewung Shin !
  • Aug 2024Type++ is accepted to NDSS 2025.
  • Jul 2024Prof. Yuseok Jeon is serving as a PC at USENIX Security 2025.
  • May 2024Prof. Yuseok Jeon is serving as a PC at IEEE S&P 2025.
  • Mar 2024ERASan is accepted to IEEE S&P 2024.
  • Feb 2024Two graduate students joined our group. Welcome Wonil Jang and Youngjin Lee!
  • Jan 2024Prof. Yuseok Jeon is serving as a PC at ACM CCS 2024.
  • Aug 2023One graduate student joined our group. Welcome Seongyun!
  • Apr 2023Prof. Yuseok Jeon is serving as a PC at USENIX SECURITY 2024 and NDSS 2024
  • Mar 2023Four graduate students joined our group. Welcome Jiun, Dongyeon, Minseong, and Taeyeong!
  • Aug 2022Two graduate students joined our group. Welcome Sunghyun and Sanghoon!
  • Dec 2022Perfect Spray is accepted to BlackHat EU 2023.
  • Jul 2022Pspray is accepted to USENIX Secrutiy 2023.
  • Jul 2022DriveFuzz is accepted to ACM CCS 2022.
  • Apr 2022Prof. Yuseok Jeon is serving as a PC at USENIX SECURITY 2023 and NDSS 2023.
  • Feb 2022ShadowAuth is accepted to ASIACCS 2022.
  • Nov 2021SwarmFlawFinder is accepted to IEEE S&P 2022.
  • Apr 2021Prof. Yuseok Jeon is serving as a PC at USENIX SECURITY 2022.
  • Feb 2021Our lab has been founded.