Showing results 58 to 67 of 67
Issue Date | Title | Author(s) |
---|---|---|
2003-11 | 정보 흐름에 대한 SSA기반 분석 | 도경구 |
2014-06 | 지식베이스를 이용한 보안취약점 정적분석 | 도경구 |
2003-11 | 집합 제한식을 이용한 프로시저-내 정보흐름 안전성 분석 | 도경구 |
2000-12 | 컴퓨터시스템 : 액션 의미표기법을 통한 객체의 이해 | 도경구 |
2017-04 | 테스트코드 뮤턴트를 이용하여 정적분석 도구 미검출 찾기 | 도경구 |
2019-06 | 트리 기반 컨볼루션 신경망을 이용한 BigCloneBench 개선 | 도경구 |
2015-12 | 파스테이블 생성 콤비네이터의 의미규칙 연산 모델 | 도경구 |
2005-07 | 프로그램 표절 검출 방법에 대한 조사 | 도경구 |
2003-01 | 함수형 프로그래밍 기술을 이용한 프로그램 합성 방법 | 도경구 |
2022-12 | 흐름 그래프 정보의 기계학습을 활용한 보안 취약점 정적 탐지 | 도경구 |