바뀜

==연구관심분야연구==관심 분야: 암호학,보안, 내장형 시스템, 비휘발성 메모리, 컴파일러, 실시간 시스템; Cryptography, security, embedded system, nonvolatile memory , compiler, real-time system === 검증형 인공지능(Verifiable AI) 기술 ‘vCNN’ 개발<ref><뉴스H> 2025.08.14 [https://www.newshyu.com/news/articleView.html?idxno=1019834 한양대·국민대 연구팀, 검증형 인공지능 기술 ‘vCNN’로 IEEE TDSC 2024 최우수논문상 단독 수상]</ref> === * 영지식증명(zk-SNARKs)을 활용해 입력과 모델을 공개하지 않은 채 ‘AI가 규정 절차대로 정확히 계산했다’는 사실만을 짧고 간결한 증명으로 제공. 특히 CNN의 핵심 연산인 합성곱(convolution) 증명 방식을 새롭게 설계해 기존 O(l·n)(커널 크기 l, 데이터 크기 n)이던 복잡도를 O(l + n)으로 줄임. 그 결과 MNIST 모델에서 약 20배, VGG16 모델에서 약 1만8,000배의 증명 속도 향상을 달성했으며, 보안성 또한 수학적으로 입증* 과학기술정보통신부 및 정보통신기획평가원(IITP) 사업의 지원을 받아 수행됐으며, 논문 「vCNN: Verifiable Convolutional Neural Network Based on zk-SNARKs」에는 국민대 이승화 박사가 제1저자, 한양대 고한경 박사가 참여자, 한양대 오현옥 교수와 국민대 김지혜 교수가 공동 교신저자로 참여* 과학기술정보통신부 및 정보통신기획평가원(IITP) 사업의 지원을 받아 수행됐으며, 논문 「vCNN: Verifiable Convolutional Neural Network Based on zk-SNARKs」에는 국민대 이승화 박사가 제1저자, 한양대 고한경 박사가 참여자, 한양대 오현옥 교수와 국민대 김지혜 교수가 공동 교신저자로 참여

*20222025:『IEEE Transactions on Dependable and Secure Computing(이하 TDSC)』의 2024년 Best Paper Award (최우수논문상)*2023: 창업기업 '지크립토' CES 최고 혁신상