
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:
- We analyze programs to find vulnerabilities.
- We study offensive hacking techniques in order to develop defensive mechanisms.
- We engineer software systems that are secure and reliable.
News
- A paper accepted at ICSE 2019.
- A paper accepted at NDSS 2019.
- CodeAlchemist got 4 CVEs for Safari browser vulnerabilties
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
|
Jiwon Choi Master Student |
|
Hongsik Kim Master Student |
|
Donghyeon Oh Master Student [homepage] |
|
Minkyu Jung Master Student |
Alumni
- Choongwoo Han,
Master, now at Naver.
- Hobin Kim,
Master, now at National Security Research Institute,
Korea.
- Jihoon Kim, Master, now at Naver.
- Jihyeon Yoon,
Master, now at Nexon.
- Mun Beom Kim,
Master, now at the Korean Army.
- SeongIl Wi
Master, now at GSIS KAIST as a Ph.D. student.
Contact
KAIST N5 #2310291 Daehak-ro, Yuseong-gu
Daejeon 34141
South Korea