박제만 연구실은 컴퓨터보안과 프로그램/AI 포렌식에 대한 연구를 수행합니다. 소프트웨어 실행 과정에서 생성되는 단서와 로그를 기반으로 사건을 구조화하고, 정적·동적 분석을 통해 악성 행위 및 조작 정황을 추적하는 절차를 마련합니다. 특히 AI가 포함된 시스템에서는 입력-출력 이력과 추론 과정의 이상 징후를 관찰 지표로 설정하고, 검증 가능한 판별 기준과 재현 가능한 증거 요약 방식을 중심으로 연구를 진행합니다. 소프트웨어융합학과에서 보안 분석과 포렌식 기반 검증을 연계하는 기술을 축적하고 있습니다.