	어레이 분할 공간의 기본 벡터에 기초한 시스톨릭 어레이의 분할
	김윤호 유기영 Yunho Kim Keeyoung Yoo
	한국정보과학회 논문지 A - 시스템 및 이론, VOL 23 NO. 11 PP. 1161 ~ 1172 1996. 11
	Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교
	김영주 김문주 김윤호 정의준 YoungJoo Kim Moonzoo Kim Yunho Kim Uijune Jung
	한국정보과학회 논문지 C - 컴퓨팅의 실제, VOL 18 NO. 04 PP. 0321 ~ 0325 2012. 04

학술대회 프로시딩 (19)

	저가형 RFID 태그에 적합한 카운터를 활용하는 해쉬기반 보안 프로토콜
	염동관 김윤호 윤희용 Dongkwan Yeom Yunho Kim Heeyong Youn
	한국정보과학회 한국컴퓨터종합학술대회 2009, VOL 36 NO. 1(A) PP. 0241 ~ 0242 2009. 07
	CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법
	김윤호 김문주 장윤규 Yunho Kim Moonzoo Kim Yoonkyu Jang
	한국정보과학회 한국컴퓨터종합학술대회 2012, VOL 39 NO. 1(B) PP. 0120 ~ 0122 2012. 06