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
Our work will appear in Black Hat USA 2024
PyLingual: A Python Decompilation Framework for Evolving Python Versions
Josh Wiedemeier, Elliot Tarbet, Max Zheng, Jerry Teng, Ximeng Liu, Muhyun Kim, Sang Kil Cha, Jessica Ouyang, and Kangkook Jee
In Proceedings of the Black Hat USA, 2024
A free online service is available at https://pylingual.io
Jung Hyun will present a poster in SVCC 2024
PoE: A Domain-Specific Language for Exploitation
Jung Hyun Kim, Steve Gustaman, and Sang Kil Cha
In Proceedings of the Silicon Valley Cybersecurity Conference, 2024
A paper will appear in FSE 2024
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Tae Eun Kim, Jaeseung Choi, Seongjae Im, Kihong Heo, and Sang Kil Cha
In Proceedings of the International Symposium on Foundations of Software Engineering, 2024
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
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
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.
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 |
|
|
Junhak Lee Master Student |
|
|
Sangjun Park Master Student [homepage] |
|
|
Sehoon Kim Master Student |
Contact
KAIST N5 #2310291 Daehak-ro, Yuseong-gu
Daejeon 34141
South Korea