
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 will appear in FSE 2023
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis
Soomin Kim, Hyungseok Kim, and Sang Kil Cha
In Proceedings of the International Symposium on Foundations of Software Engineering, 2023

Received USENIX Security '23 Distinguished Paper Award
BotScreen: Trust Everybody, but Cut the Aimbots Yourself
Minyeop Choi, Gihyuk Ko, and Sang Kil Cha
In Proceedings of the USENIX Security Symposium, 2023
See here for more details.

Two more papers got accepted at USENIX Security 2023.
Our lab will present three papers in total at USENIX Security this year. For more information, see here.

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.

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.

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

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
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 |
|
JungHyun Kim Ph.D. Student [homepage] |
Master Students
|
HyungJoon Yoon Master Student |
|
Sanghyun Park Master Student |
|
Jungwoo Lee Master Student [homepage] |
|
Steve Gustaman Master Student |
|
Geonwoo Park Master Student |
Contact
KAIST N5 #2310291 Daehak-ro, Yuseong-gu
Daejeon 34141
South Korea