Lab directory
Software Analysis Lab
Software Analysis Lab
Information sourcenot verified yet
Professor
Prof. 차상길
Professor's page · publicationsAbout
KAIST 소프트웨어 보안(SoftSec) 연구실은 차상길 교수가 이끄는 연구실로, 컴퓨터 보안과 프로그램 분석의 교차점에서 연구를 수행한다. 바이너리 분석, 익스플로잇 검증, 악성코드 분석, 퍼징(fuzzing), 심볼릭 실행 등을 주요 주제로 다룬다.
Research keywords
Software securityprogram analysis
Selected publications
- Walking The Last Mile: Studying Decompiler Output Correction in PracticeCCS · 2025
- On the Applicability of Benford's Law to Detect Saturation in FuzzingFUZZING · 2025
- Fork State-Aware Differential Fuzzing for Blockchain Consensus ImplementationsICSE · 2025
- Towards Sound Reassembly of Modern x86-64 BinariesASPLOS · 2025
Other labs in this department
- Network Security LabRecruiting
Seungwon Shin
Network security, software-defined networking
- Minki HhanRecruiting
Computational theory, secure computing
- Kihong HeoRecruiting
Computational theory, software design, secure computing
- CyPhy LabRecruiting
Jun Han
System/network, secure computing, interactive computing
- Software Security Lab
Brent Byunghoon Kang
System security, trustworthy AI systems, network distributed systems, blockchain, malware defense
- System Security Lab
Yongdae Kim
Network and distributed system security, applied cryptography