Results 1-10 of 17 (Search time: 0.001 seconds).
Issue Date | Title | Author(s) |
---|---|---|
2015-06 | Bellon Reference Corpus 보정 | 도경구 |
2002-10 | 바이트코드 정보흐름 분석기의 구현 | 도경구 |
2002-06 | Detection of Information Leaks by Data Flow Analysis | 도경구 |
2021-10 | Assessment of Dynamic Open-source Cross-site Scripting Filters for Web Application | 도경구 |
2000-12 | 컴퓨터시스템 : 액션 의미표기법을 통한 객체의 이해 | 도경구 |
2001-06 | Composing programming languages by combining Action-semantics modules | 도경구 |
2001-12 | SMV를 이용한 정보 흐름 안전성의 모델 검사 | 도경구 |
2000-08 | 액션의미방식에 의한 언어모듈의 정의와 확장 | 도경구 |
2020-12 | code2vec 모델을 활용한 소스 코드 보안 취약점 탐지 | 도경구 |
1999-12 | 액션의 온라인 부분계산 | 도경구 |