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

Mar. 2023

Haeun is joining CSRC as a research scientist.

Haeun Lee, who is the leading author of Fuzzle is joining Cyber Security Research Center (CSRC) at KAIST.

Dec. 2022

Our paper is awarded the IEEE TSE Best Paper Award

Our TSE paper, published in 2021, has been selected as a best paper. See https://www.computer.org/publications/best-paper-award-winners for more information.

Nov. 2022

Our paper will appear in USENIX Security 2023

Reassembly is Hard: A Reflection on Challenges and Strategies

Hyungseok Kim, Soomin Kim, Junoh Lee, Kangkook Jee, and Sang Kil Cha
In Proceedings of the USENIX Security Symposium, 2023

Artifact download

Oct. 2022

Our paper is awarded the SIGSOFT ACM Distinguished Paper Award in ASE'22

Fuzzle: Making a Puzzle for Fuzzers

Haeun Lee, Soomin Kim, and Sang Kil Cha
In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2022

Sep. 2022

Jaeseung Choi is now appointed as an assistant professor at Sogang University, Korea.

Jaeseung will lead the Information Security Laboratory in Sogang University. His new homepage is at https://islab-sogang.github.io/


To see all news, click here.

People

Sang Kil Cha
Professor
[homepage]

Ph.D. Students

Soomin Kim
Ph.D. Student
[homepage]
Hyungseok Kim
Ph.D. Student

Master Students

JungHyun Kim
Master Student
[homepage]
Yeonghun Kim
Master Student
HyungJoon Yoon
Master Student
Sanghyun Park
Master Student
Jungwoo Lee
Master Student
[homepage]

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