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

  • We are hiring new students.
  • A paper accepted at ICSE 2016.
  • SoftSec Lab started in 11/16/2015.

People

Sang Kil Cha
Professor
[homepage]

Ph.D. Students

Jaeseung Choi
Ph.D. Student

Master Students

Jihoon Kim
Master Student
Mun Beom Kim
Master Student
Soomin Kim
Master Student
HyungSeok Han
Master Student
Jihyeon Yoon
Master Student
[homepage]

Researcher

Jina Hong
Master

Alumni

Choongwoo Han
Master
[homepage]
Hobin Kim
Master

Publications

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

Contact

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

+82-42-350-3569