Root(토론 | 기여)님의 2025년 3월 13일 (목) 15:32 판 (새 문서: <div> * 프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지 * 스마트 컨트랙트 보안취약점 자동 검출 * 안드로이드 앱 보안 취약점 분석 * 드론 소프트웨어 보안취약점 분석 * PHP 웹 프로그램 보안취약점 자동 검출기 개발 * 프로그램 시각화 * 요약해석(Abstract Interpretation)에 기반한 프로그램 분석 * 자료 병렬성을 사용한 병렬 프로그램 자동...)
