✨ 소개

저는 UNIST (울산과학기술원) 컴퓨터시스템보안연구실 (CSSLAB)에서 문현곤 교수님 지도 하에 연구하고 있습니다.
주요 연구 분야는 기밀 컴퓨팅(Confidential Computing)과 보안 스토리지 시스템입니다.

여가 시간에는 수영을 하는 것을 좋아하고, 한국 야구팀 NC 다이노스의 팬입니다.
궁금한 점이 있으시면 언제든지 연락해 주세요.

📄 연구 분야

보안 및 분산 스토리지 시스템
클라우드 및 분산 환경에서 안전하게 동작하는 스토리지 시스템, 특히 키-밸류 스토어(KVS)를 구축하는 연구에 관심이 있습니다. 단일 노드 및 분산 KVS 아키텍처에 TEE 기반 보호를 통합하여, 성능 저하 없이 안전한 데이터 처리, 복제, 접근 제어를 보장하는 방법을 구합니다.
기밀 컴퓨팅
Intel SGX, Intel TDX, AMD SEV-SNP 등 하드웨어 기반 신뢰 실행 환경(TEE)을 활용한 보안 시스템 설계를 연구합니다. 위의 분야 외에도 증명 프로토콜, 안전한 다자간 연산, 프라이버시 보호 분석, 그리고 새로운 기밀 워크로드 아키텍처 등 기밀 컴퓨팅의 다양한 연구 주제에 관심이 있습니다. 이 분야의 여러 문제를 해결하기위한 협업을 환영합니다!

🔐 연구 목표

모든 사람이 사용할 수 있는 안전한 컴퓨터 시스템을 만들고 싶습니다.

2023

JOK

RTL 수준 프로세서 구현으로부터의 ISA 명세 자동 추출 기법
(Extracting Instruction Set Architecture Semantics from a Processor Register-transfer Level)
하선, 문현곤

정보과학회논문지 제50권 제10호 2023.10 827 - 835 (9page) 정보과학회논문지 Journal of KIISE (JOK)
논문 링크
WISA

Protecting Kernel Code integrity with PMP on RISC-V
하선, 문현곤

World Conference on Information Security Applications (WISA) 2023
Access

Kernel Code Integrity Protection at the Physical Address Level on RISC-V
하선, 유민상, 문현곤, 이종은

IEEE Access (Access) 2023
논문 링크

2022

KSC

[우수논문] RTL 수준 프로세서구현으로부터의 ISA 명세 자동 추출 기법
(Extracting ISA semantics from a processor RTL)
하선, 문현곤

한국정보과학회 2022 한국소프트웨어종합학술대회 논문집 2022.12 891 - 893 (3page) KSC 2022
논문 링크

울산과학기술원 (UNIST)
컴퓨터공학 박사과정

울산
2021.03 - 현재
울산과학기술원 (UNIST)
컴퓨터공학 석사 과정 졸업

울산
2019.03 - 2021.02
과학기술연합대학원대학교 (UST)
정보보호공학 석사과정 중퇴

대전
2018.03 - 2018.08
대련해양대학교 (Dalian Ocean University)
교환학생

중국 대련
2016.08 - 2017.02
부경대학교
정보통신공학 학사 졸업

부산
2013.03 - 2018.02

한국전자통신연구원 (ETRI)
소프트웨어 엔지니어
- 실내 측위: 실내에서 비콘 인식 정확도를 향상시키는 연구를 수행했습니다.
대전
2017.07 - 2017.10

🏆 수상

KISBIC - 대한민국 정보보호 BOB 아이디어 공모전
한국정보기술연구원 (KITRI)

우수한 정보보호 아이디어 발굴 및 보안 인식 제고

네티즌 특별상
2015.02

🎶 활동

CERT-IS
부경대학교 보안 동아리

2014.03 - 2018.02
Microsoft Student Partners 8기
한국마이크로소프트

2014.08 - 2015.08