	Improved Slow Charge Scheme for non-communication Electric Vehiclesby Predicting Charge Demand☆
	Si-eun Choi Jong-ho Bang Tae Uk Chang Young Su Ryu Ki Won Kwon Jong Ho Paik
	한국인터넷정보학회 논문지, VOL 21 NO. 05 PP. 0039 ~ 0048 2020. 10
	요약된 주소값 기반 메모리 분석 기법 및 이를 이용한 EVM 바이트코드 분석
	박지희 류석영 Jihee Park Sukyoung Ryu
	정보과학회 컴퓨팅의 실제 논문지, VOL 26 NO. 04 PP. 0217 ~ 0222 2020. 04
	WALA와 Boa를 활용하여 대규모 소프트웨어 저장소를 정적으로 분석하는 도구 개발
	박현수 김진수 박무성 전영배 윤지원 Hyunsu Park Jinsoo Kim Moosung Park Youngbae Jeon Jiwon Yoon 박경희 류석영 Gyunghee Park Sukyoung Ryu
	정보과학회논문지, VOL 44 NO. 10 PP. 1081 ~ 1086 2017. 10
	에너지저장장치용 확장성 프로파일 검증 소프트웨어 복잡도 분석에 관한 연구
	권혁영 류영수 박재홍 권기원 Hyeokyoung Kwon Youngsu Ryu Jaehong Park Kiwoon
	한국인터넷정보학회 논문지, VOL 17 NO. 05 PP. 0059 ~ 0065 2016. 10
	자바스크립트의 이벤트 동작 분석을 위한 이벤트 모델링
	류연희 류석영 Yeonhee Ryou Sukyoung Ryu
	정보과학회 컴퓨팅의 실제 논문지, VOL 21 NO. 12 PP. 0751 ~ 0755 2015. 12

영문 논문지 (3)

	Design and Implementation of Distributed Charge Signal Processing Software for Smart Slow and Quick Electric Vehicle Charge
	Tae Uk Chang Young Su Ryu Seul Ki Song Ki Won Kwon Jong Ho Paik
	KSII Transactions on Internet and Information Systems, VOL 13 NO. 03 PP. 1674 ~ 1688 2019. 03
	Design and Implementation of 8K UHD Encapsulation Method for Efficient Transmission and Reception based on MMT
	Seulki Song Youngsu Ryu Jungwook Wee Kyungwon Park Kiwon Kwon
	KSII Transactions on Internet and Information Systems, VOL 12 NO. 02 PP. 0860 ~ 0872 2018. 02
	An Efficient 4K and 8K UHD Transmission Scheme on Convergence Networks with Broadcasting and LTE by using Coordinated Multi-Point Transmission System
	Youngsu Ryu Kyungwon Park Jungwook Wee Kiwon Kwon
	KSII Transactions on Internet and Information Systems, VOL 11 NO. 08 PP. 4092 ~ 4104 2017. 08

학술대회 프로시딩 (33)

	최적화 대상에 따른 동형암호 컴파일러의 최적화 분류
	박혜린 최재호 류석영 Hyerin Park Jaeho Choi Sukyoung Ryu
	, VOL 49 NO. 02 PP. 1257 ~ 1259 2022. 12
	모나딕 타입으로 Coq에서 배중률 사용을 안전하게 감싸기
	Jihee Park Sukyoung Ryu 박지희 류석영
	, VOL 49 NO. 02 PP. 1236 ~ 1238 2022. 12
	기호 실행을 활용한 WebAssembly 프로그램의 동일성 확인 기법
	심유성 류석영 Yusung Sim Sukyoung Ryu
	, VOL 49 NO. 02 PP. 1233 ~ 1235 2022. 12
	스칼라의 대조 타입을 사용해 객체를 함수로 타입 안전하게 인코딩
	홍재민 류석영 Jaemin Hong Sukyoung Ryu
	, VOL 49 NO. 02 PP. 1230 ~ 1232 2022. 12
	육상 어류 양식장 데이터 수집 및 가공을 위한 데이터베이스 및 소프트웨어 설계
	류영수 김준수 권기원 Youngsu Ryu Junsu Kim Kiwon Kwon
	, VOL 22 NO. 02 PP. 0201 ~ 0202 2021. 10