연구 분야

• 기밀 컴퓨팅 (Confidential Computing)

  Intel SGX2, Intel TDX, AMD SEV-SNP 등 신뢰 실행 환경(TEE)에서 안전하고 효율적인 실행을 위한 시스템을 설계합니다.

• 보안 스토리지 시스템 (Secure Storage Systems)

  낮은 오버헤드의 무결성 보호와 최적화된 저장 경로를 갖춘 기밀 영속 키-값 저장소를 연구합니다.

• 분산 키-값 저장소 (Distributed Key-Value Stores)

  RDMA와 능력 기반 접근 제어(capability-based access control)를 활용한 확장 가능한 원격 메모리 아키텍처를 설계합니다.

• 최신 하드웨어를 위한 시스템 (Systems for Modern Hardware)

  SmartNIC, FPGA, 고성능 스토리지 장치를 활용해 보안 시스템의 효율을 높입니다.

논문

2023

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

  하선, 문현곤

  정보과학회논문지 제50권 제10호 2023.10, pp. 827–835 정보과학회논문지 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, pp. 891–893 KSC 2022

  논문 링크

학력

경력

• 한국전자통신연구원 (ETRI)

  소프트웨어 엔지니어

  • 실내 측위: 실내에서 비콘 인식 정확도를 향상시키는 연구를 수행했습니다.
  대전

  2017.07 - 2017.10

수상

• 한국소프트웨어종합학술대회 (KSC 2022)

  한국정보과학회 (KIISE)

  "RTL 수준 프로세서 구현으로부터의 ISA 명세 자동 추출 기법" 논문으로 수상

  최우수논문상

  2022.12

• KISBIC - 대한민국 정보보호 BOB 아이디어 공모전

  한국정보기술연구원 (KITRI)

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

  네티즌 특별상

  2015.02

활동

• CERT-IS

  부경대학교 보안 동아리

  2014.03 - 2018.02

• Microsoft Student Partners 8기

  한국마이크로소프트

  2014.08 - 2015.08

연구 목표

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