SSLAB
(판 사이의 차이)
2021년 1월 7일 (목) 15:10 판
- 콘콜릭 테스팅(Concolic Testing)을 사용한 스마트 컨트랙트 보안취약점 자동 검출 시스템
- 심볼릭 수행(Symbolic Execution)을 사용한 스마트컨트랙트 보안취약점 자동 검출 시스템
- 안드로이드 앱 보안 취약점 분석기
- 안드로이드 앱 자동 테스팅 시스템
- 드론 소프트웨어 보안취약점 분석
- 프로그램 시각화
- 요약해석(Abstract Interpretation) 기법 성능 향상
- PHP 웹 프로그램 취약성 검출기 구현
