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 ASPLOS 2025
Towards Sound Reassembly of Modern x86-64 Binaries
Hyungseok Kim, Soomin Kim, and Sang Kil Cha
In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems, 2025
Prof. Cha is serving as a TPC Chair of ISC 2025
The 28th Information Security Conference (ISC) will be held in
Seoul, Korea in October 2025.
Please consider submitting your work!
Our work will appear in Oakland 2025
PyLingual: Toward Perfect Decompilation of Evolving High-Level Languages
Josh Wiedemeier, Elliot Tarbet, Max Zheng, Sangsoo Ko, Jessica Ouyang, Sang Kil Cha, and Kangkook Jee
In Proceedings of the IEEE Symposium on Security and Privacy, 2025
Received ACM Distinguished Paper Award in ISSTA 2024!
Hyungseok Kim, Soomin Kim, Jungwoo Lee, and Sang Kil Cha
In Proceedings of the International Symposium on Software Testing and Analysis, 2024
See this.
Our work will appear in ISSTA 2024
AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Hyungseok Kim, Soomin Kim, Jungwoo Lee, and Sang Kil Cha
In Proceedings of the International Symposium on Software Testing and Analysis, 2024
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
To see more 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
|
|
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 |
|
|
Zunnoor Awan Master Student |
Former Ph.D. Students
- Jaeseung Choi (now at Sogang University)
- Hyungseok Kim (now at the affiliated institute of ETRI)
Contact
KAIST N5 #2310291 Daehak-ro, Yuseong-gu
Daejeon 34141
South Korea