SSLAB
(판 사이의 차이)

2019년 8월 7일 (수) 16:11 판

중앙 Research

Research Areas   
  • 프로그램 시각화
  • 정적분석
  • 자바 바이트코드 분석 


Publication   
  • ... 
   연구 research   
  • 프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지
  • 스마트 컨트랙트 보안취약점 자동 검출
  • 안드로이드 앱 보안 취약점 분석
  • 드론 소프트웨어 보안취약점 분석
  • PHP 웹 프로그램 보안취약점 자동 검출기 개발
  • 프로그램 시각화
  • 요약해석(Abstract Interpretation)에 기반한 프로그램 분석
  • 자료 병렬성을 사용한 병렬 프로그램 자동 생성
 
   프로젝트 projects   
  • 스마트 코드브라우저를 위한 프로그램 시각화 기술
  • 코딩단계 개발자용 온더플라이 정적분석 도구 개발













 
   공지사항 news & information   
  • 라인X한국정보과학회 블록체인 경진대회 최우수상 수상
    • 일시: 2019/6/28
    • 제목: 심볼릭 실행 기법을 사용한 스마트 컨트랙트 보안 약점 자동 검출 도구
    • 참가자: 조현승 석사과정(지도교수: 안준선)
    • 상금: 200만원 
   
원본 주소 "http://sslab.kau.ac.kr/mediawiki/index.php?title=Research&oldid=318"
보기
개인 도구
Internal Materials