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

Nov. 2023

A paper will appear in APSEC 2023

On the Effectiveness of Synthetic Benchmarks for Evaluating Directed Grey-box Fuzzers

Haeun Lee, Hee Dong Yang, Su Geun Ji, and Sang Kil Cha
In Proceedings of the Asia-Pacific Software Engineering Conference, 2023

Oct. 2023

An article will appear in CACM

Boosting Fuzzer Efficiency: An Information Theoretic Perspective

Marcel Böhme, Valentin Jean Marie Manès, and Sang Kil Cha
CACM, Volume 66, Issue 11, Nov. 2023

Aug. 2023

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

Aug. 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.

Jul. 2023

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.

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


To see all news, click here.

People

Sang Kil Cha
Professor
[homepage]

Ph.D. Students

Soomin Kim
Ph.D. Student
[homepage]
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
Daeseok Kim
Master Student

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