SSLAB
(판 사이의 차이)
2017년 2월 7일 (화) 11:36 판
연구 research
- 프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지
- 스마트 컨트랙트 보안취약점 자동 검출
- 안드로이드 앱 보안 취약점 분석
- 드론 소프트웨어 보안취약점 분석
- PHP 웹 프로그램 보안취약점 자동 검출기 개발
- 프로그램 시각화
- 요약해석(Abstract Interpretation)에 기반한 프로그램 분석
- 자료 병렬성을 사용한 병렬 프로그램 자동 생성
프로젝트 projects
- 스마트 코드브라우저를 위한 프로그램 시각화 기술
- 코딩단계 개발자용 온더플라이 정적분석 도구 개발
공지사항 news & information
- 프로그램 보안약점 분석도구 유용성 검증 텡스트
- 과제명: 코딩단계 개발자용 온더플라이 정적분석 도구 개발
- 참여 기간: 2017/1/11~13, 2017/2/7~8
- 신청 기간: 2016/11/21~12/16
- 문의/신청: javaAtKAU@gmail.com, 02.300.0144 / 전자관 219호 방문
