	의미 기반 정적 분석과 규칙 명세 언어를 활용한 C/C++ 프로그램 보안 취약점 검출
	윤용호 진민식 정영범 이규호 김희동 김진국 Yongho Yoon Minsik Jin Yungbum Jung Gyuho Lee Heedong Kim Jingoog Kim
	정보과학회 컴퓨팅의 실제 논문지, VOL 25 NO. 10 PP. 0493 ~ 0499 2019. 10
	열린 코드 다단계 프로그램의 타입 지향 자동 생성
	정영범 이원찬 이광근 Yungbum Jung Wonchan Lee Kwangkeun Yi
	한국정보과학회 논문지 C - 컴퓨팅의 실제, VOL 18 NO. 03 PP. 0249 ~ 0253 2012. 03

학술대회 프로시딩 (1)

	열린 코드를 갖는 다단계 프로그램을 타입 정보로부터 자동으로 생성하기
	정영범 이원찬 이광근 Yungbum Jung Wonchan Lee Kwangkeun Yi
	한국정보과학회 한국컴퓨터종합학술대회 2011 , VOL 38 NO. 1(C) PP. 0466 ~ 0469 2011. 06