Patent
- [등록] 특허 등록번호 10-1691600-0000 : “공통 구조 변환 기반 프로그램 분석 방법 및 장치”, 홍성문, 김현하, 정승철, 최태형, 권현준, 2016년 12월 26일
- [등록] 특허 등록번호 10-1658778-0000 : “경로 기반의 문자열 분석 방법 및 장치”, 홍성문, 김현하, 정승철, 최태형, 권현준, 정석훈, 2016년 9월 13일
- [등록] 특허 등록번호 10-1656358-0000 : “클러스터 기반 프로그램 분석 방법 및 장치”, 최태형, 정승철, 강효원, 임서구, 김보미, 2016년 9월 5일
- [등록] 특허 등록번호 10-1645019-0000 : “소프트웨어 보안취약점 검출을 위한 규칙명세언어”, 홍성문, 김현하, 정승철, 도경구, 최태형, 2016년 7월 27일
- [등록] 특허 등록번호 10-0692172-0000 (US 20060230393) : “종합 문자열 분석기 및 그 분석 방법”(Universal string analyzer and method thereof), 도경구, 이욱세, 최태형, 황보현, 추요한, 유상식, 홍성구, 2007년 3월 2일