Publication
- Hyunha Kim, Tae-Hyoung Choi, Seung-Cheol Jung, Hyoung-Cheol Kim, Oukseh Lee, Kyung-Goo Doh: Applying dataflow analysis to detecting software vulnerability, In Proceedings of 10th International Conference on Advanced Communication Technology, 1:255-258, February 17-20, 2008.
- Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh: A practical string analyzer by the widening approach, APLAS’06, In Proceedings of the 4th Asian Symposium on Programming Languages and Systems, Sydney, Australia, November 8-10, Lecture Notes in Computer Science 4279:374-388, Springer-Verlag, 2006.
- 이재서, 최태형, 이규호, 유재관, 배경민, CPI 보안 강화 코드 변환의 실용적인 동등성 검사 기법, 정보과학회논문지, 제46권, 제12호, 1279-1290, 2019년 12월.
- 소순범, 최태형, 정준, 오학주, 예제로부터 명령형 프로그램을 합성하는 방법, 정보과학회논문지, 제44권, 제9호, 986-991, 2017년 9월.
- 박현우, 최태형, 도경구, 테스트코드 뮤턴트를 이용하여 정적분석 도구 미검출 찾기, 보안공학연구논문지, 제14권, 제2호, 77~90, 2017년 4월.
- 홍성문, 최태형, 도경구, 모바일 앱 소스코드 보안약점 자동탐지, 보안공학연구논문지, 제14권, 제2호, 91~102, 2017년 4월.
- 최태형, 김정준, 도경구, 웹 응용프로그램의 삽입취약점 탐지를 위한 문자열분석, 정보보호학회논문지, 제17권, 제6호, 2007년 12월.