SSLAB
Sslab (토론 | 기여) 사용자의 2021년 1월 7일 (목) 15:10 판

  • 콘콜릭 테스팅(Concolic Testing)을 사용한 스마트 컨트랙트 보안취약점 자동 검출 시스템
  • 심볼릭 수행(Symbolic Execution)을 사용한 스마트컨트랙트 보안취약점 자동 검출 시스템
  • 안드로이드 앱 보안 취약점 분석기
  • 안드로이드 앱 자동 테스팅 시스템
  • 드론 소프트웨어 보안취약점 분석
  • 프로그램 시각화
  • 요약해석(Abstract Interpretation) 기법 성능 향상
  • PHP 웹 프로그램 취약성 검출기 구현
원본 주소 "http://sslab.kau.ac.kr/mediawiki/index.php?title=%ED%8B%80:%EB%8C%80%EB%AC%B8/%EC%97%B0%EA%B5%AC&oldid=352"
보기
개인 도구
Internal Materials