연구실 목록
차상길 교수 연구실
Software Analysis Lab
한국과학기술원 · 정보보호대학원
정보 출처아직 확인되지 않음
교수 소개
차상길 교수
교수 홈페이지·논문소개
KAIST 소프트웨어 보안(SoftSec) 연구실은 차상길 교수가 이끄는 연구실로, 컴퓨터 보안과 프로그램 분석의 교차점에서 연구를 수행한다. 바이너리 분석, 익스플로잇 검증, 악성코드 분석, 퍼징(fuzzing), 심볼릭 실행 등을 주요 주제로 다룬다.
연구 키워드
Software securityprogram analysis
대표 논문
- 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
같은 학과의 다른 연구실
- 신승원 교수 연구실모집 중
Network security, software-defined networking
- 한민기 교수 연구실모집 중
Computational theory, secure computing
- 허기홍 교수 연구실모집 중
Computational theory, software design, secure computing
- 한준 교수 연구실모집 중
System/network, secure computing, interactive computing
- 강병훈 교수 연구실
System security, trustworthy AI systems, network distributed systems, blockchain, malware defense
- 김용대 교수 연구실
Network and distributed system security, applied cryptography