Working at the intersection of computer security and program analysis, our lab is actively developing systems and techniques for assuring software security. Our research interests include automatic reverse engineering, exploit verification, malware analysis, fuzzing, and symbolic execution. We use the following approaches:

  1. We analyze programs to find vulnerabilities.
  2. We study offensive hacking techniques in order to develop defensive mechanisms.
  3. We engineer software systems that are secure and reliable.

News

  • HyungSeok got a CVE for a macOS vulnerability.
  • HyungSeok got a CVE for an Edge browser vulnerability.
  • A paper accepted at CCS 2017.
  • A paper accepted at ASE 2017.

People

Sang Kil Cha
Professor
[homepage]

Ph.D. Students

Jaeseung Choi
Ph.D. Student
[homepage]
Soomin Kim
Ph.D. Student
[homepage]
HyungSeok Han
Ph.D. Student
[homepage]

Master Students

Mun Beom Kim
Master Student
Seongil Wi
Master Student
Jiwon Choi
Master Student

Researcher

Jina Hong
Master

Alumni

- Choongwoo Han, Master, now at Naver Labs.
- Hobin Kim, Master, now at National Security Research Institute, Korea.
- Jihoon Kim, Master, now at Naver Labs.
- Jihyeon Yoon, Master, now at Nexon.

Publications

You may access a complete list of publications on DBLP: [link], Google Scholar: [link].

Contact

KAIST N5 #2310
291 Daehak-ro, Yuseong-gu
Daejeon 34141
South Korea