2019년 6월 11일 (화) 13:04 판

• 프로그램 시각화
• 요약해석(Abstract Interpretation) 기법 성능 향상
• PHP 웹 프로그램 취약성 검출기 구현
• 보안취약점이 없는 안전한 임베디드 소프트웨어 개발 기법
• 드론 소프트웨어 보안취약점 분석
• 안드로이드 앱 자동 테스팅 시스템
• 모델체킹기법을 사용한 스마트컨트랙트 보안취약점 자동 검출 시스템