Research

Research Areas    프로그램 시각화 정적분석 자바 바이트코드 분석  Publication    ...     연구 research    프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지 스마트 컨트랙트 보안취약점 자동 검출 안드로이드 앱 보안 취약점 분석 드론 소프트웨어 보안취약점 분석 PHP 웹 프로그램 보안취약점 자동 검출기 개발 프로그램 시각화 요약해석(Abstract Interpretation)에 기반한 프로그램 분석 자료 병렬성을 사용한 병렬 프로그램 자동 생성      프로젝트 projects    스마트 코드브라우저를 위한 프로그램 시각화 기술 코딩단계 개발자용 온더플라이 정적분석 도구 개발      공지사항 news & information    라인X한국정보과학회 블록체인 경진대회 최우수상 수상 일시: 2019/6/28 제목: 심볼릭 실행 기법을 사용한 스마트 컨트랙트 보안 약점 자동 검출 도구 참가자: 조현승 석사과정(지도교수: 안준선) 상금: 200만원