연구 영역
대표 연구 분야
본 연구실의 핵심 연구 역량과 전문 분야
명세 기반 자동화 테스트 생성과 차등검증을 통한 소프트웨어 보안 검증 연구
명세의 불충분성과 미정의 동작을 자동화 테스트로 재현하고, 차등검증을 통해 오류 핸들링·응답 편차·런타임 위험을 체계적으로 규명하는 연구
논문4
특허0
프로젝트2
Android activity injection 위협의 형식적 의미론화와 정적 탐지 및 방어 연구
Android 멀티태스킹 구조에서 활동 삽입 공격을 의미론적으로 모델링하고 정적 탐지 도구와 접근제어 방어를 구현하는 연구
논문1
특허0
프로젝트0
디컴파일 코드의 상대 가독성 메트릭 기반 역공학 품질 평가 연구
디컴파일 결과를 AST 기반 특징으로 비교 평가하여 역공학 가독성을 정량화하고, 디컴파일러 업데이트와 난독화 영향을 추적하는 연구
논문1
특허0
프로젝트1