SSLAB
(판 사이의 차이)
| (한 사용자의 중간의 편집 6개 숨겨짐) | |
2021년 7월 23일 (금) 16:41 기준 최신판
- 프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지
- 스마트 컨트랙트 보안취약점 자동 검출
- 안드로이드 앱 보안 취약점 분석
- 드론 소프트웨어 보안취약점 분석
- PHP 웹 프로그램 보안취약점 자동 검출기 개발
- 프로그램 시각화
- 요약해석(Abstract Interpretation)에 기반한 프로그램 분석
- 자료 병렬성을 사용한 병렬 프로그램 자동 생성
