타입 명세와 커버리지 피드백을 활용하는 생성 기반 Windows 커널 퍼징 프레임워크
A Generative Fuzzing Framework for Windows Kernel Using Type Specifications and Coverage Feedback
- 발행기관 서강대학교 AI.SW대학원
- 지도교수 최재승
- 발행년도 2026
- 학위수여년월 2026. 2
- 학위명 석사
- 학과 및 전공 AI.SW대학원 정보보호
- 실제URI http://www.dcollection.net/handler/sogang/000000082286
- UCI I804:11029-000000082286
- 본문언어 한국어
- 저작권 논문은 저작권에 의해 보호받습니다.
목차
제 1장 서론 1
제 2장 배경 지식 및 관련 연구 4
제 2장 1절 커널 퍼징 분류 4
제 2장 2절 시스템 콜 명세 기반 커널 퍼저 6
제 2장 3절 kAFL퍼저 7
제 3장 연구 동기 9
제 4장 설계 및 구현 12
제 4장 1절 시스템 개요 12
제 4장 2절 정적 분석기 13
제 4장 3절 테스트케이스 생성기 19
제 4장 4절 실행 엔진 22
제 4장 5절 구현 23
제 5장 실험 및 평가 25
제 5장 1절 실험 환경 설정 25
제 5장 2절 타입 정보 유무에 따른 성능 평가 26
제 5장 3절 사례 분석 28
제 6장 향후 연구 34
제 7장 결론 35
참고 문헌 37
