| 2013-06 | Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing | 도경구 |
| 2013-12 | Quantitative trust management to support QoS-aware service selection in service-oriented environments | 도경구 |
| 2014-06 | 지식베이스를 이용한 보안취약점 정적분석 | 도경구 |
| 2014-06 | 양방향 정적분석을 통한 정수구간 명세 자동유추의 실험 | 도경구 |
| 2014-11 | SQL/NoSQL Injection 취약점 자동 침투 시험 도구의 설계 | 도경구 |
| 2014-12 | SQL/NoSQL Injection 취약점 자동 침투 시험 도구의 구현 및 실험 | 도경구 |
| 2014-12 | 요약파싱기법을 사용한 웹 접근성의 정적 분석 | 도경구 |
| 2015-06 | Bellon Reference Corpus 보정 | 도경구 |
| 2015-09 | 벨론 레퍼런스 코퍼스를 기준으로 exEyes의 재현율 평가 | 도경구 |
| 2015-10 | LALR(1) 파스테이블 생성 콤비네이터 | 도경구 |
| 2019-06 | 트리 기반 컨볼루션 신경망을 이용한 BigCloneBench 개선 | 도경구 |
| 2020-12 | code2vec 모델을 활용한 소스 코드 보안 취약점 탐지 | 도경구 |
| 2021-01 | code2vec을 이용한 유사도 감정 도구의 성능 개선 | 도경구 |
| 2021-10 | Assessment of Dynamic Open-source Cross-site Scripting Filters for Web Application | 도경구 |
| 2022-12 | 흐름 그래프 정보의 기계학습을 활용한 보안 취약점 정적 탐지 | 도경구 |
| 2008-09 | A performance comparison of the parallel preconditioners for iterative methods for large sparse linear systems arising from Partial Differential Equations on structured grids | 마상백 |
| 2009-05 | A Reordering Heuristic for Accelerating the Convergence of the Solution of Some Large Sparse PDE Matrices on Structured Grids by the Krylov Subspace Methods with the ILUT Preconditioner | 마상백 |
| 2001-12 | A partial scan design unifying structural analysis and testabilities | 박성주 |
| 2002-04 | Microcode-based memory BIST implementing modified march algorithms | 박성주 |
| 2002-10 | A new boundary matching algorithm based on edge detection | 박성주 |
