SSLAB
Sslab (토론 | 기여) 사용자의 2019년 8월 7일 (수) 16:15 판

  • 요약해석(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=320"
보기
개인 도구
Internal Materials