About me

I am a student in the CSSLAB (Computer System Security Lab) at UNIST (Ulsan National Institute of Science and Technology, South Korea), under the supervision of Prof. Hyungon Moon.

In my free time, I enjoy swimming 🦭💦 and keeping a journal 📓.
If you have any questions, please feel free to contact me.

Research Interests

Confidential Computing
Designing systems for secure and efficient execution in Trusted Execution Environments (TEEs), including Intel SGX2, Intel TDX, and AMD SEV-SNP.
Secure Storage Systems
Building confidential persistent key-value stores with low-overhead integrity protection and optimized storage paths.
Distributed Key-Value Stores
Designing scalable remote-memory architectures with RDMA and capability-based access control.
Systems for Modern Hardware
Leveraging SmartNICs, FPGAs, and high-performance storage devices to improve the efficiency of secure systems.

Publications

2023

JOK

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

정보과학회논문지 제50권 제10호 2023.10, pp. 827–835 정보과학회논문지 Journal of KIISE (JOK)
Paper link
WISA

Protecting Kernel Code integrity with PMP on RISC-V
Seon Ha, Hyungon Moon

World Conference on Information Security Applications (WISA) 2023
Access

Kernel Code Integrity Protection at the Physical Address Level on RISC-V
Seon Ha, Minsang Yu, Hyungon Moon, Jongeun Lee

IEEE Access (Access) 2023
Paper link

2022

KSC

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

한국정보과학회 2022 한국소프트웨어종합학술대회 논문집 2022.12, pp. 891–893 KSC 2022
Paper link

Education

Ulsan National Institute of Science and Technology
Ph.D. in Computer Science

Ulsan, Korea
Mar. 2021 - Present
Ulsan National Institute of Science and Technology
Master of Science in Computer Science

Ulsan, Korea
Mar. 2019 - Feb. 2021
University of Science and Technology
Master of Information Security Engineering (Withdrawn)

Daejeon, Korea
Mar. 2018 - Aug. 2018
Dalian Ocean University
Exchange Student

Dalian, China
Aug. 2016 - Feb. 2017
Pukyong National University
Bachelor of Engineering in Information and Communication Engineering

Busan, Korea
Mar. 2013 - Feb. 2018

Experience

ETRI (Electronics and Telecommunications Research Institute)
Software Engineer
- Indoor Localization: Conducted research on improving the accuracy of indoor beacon recognition.
Daejeon, Korea
Jul. 2017 - Oct. 2017

Awards

Korea Software Congress (KSC) 2022
KIISE (Korean Institute of Information Scientists and Engineers), Korea

For "Extracting ISA Specifications from RTL-level Processor Implementations".

Best Paper Award
Dec. 2022
KISBIC - Korea information security BOB Idea cup
KITRI (Korea Information Technology Research Institute), Korea

Create excellent information protection ideas and raise public awareness of security.

Netizen special prize
Feb. 2015

Activities

CERT-IS
Pukyong National University Security Club

Mar. 2014 - Feb. 2018
Microsoft Student Partners 8th
Microsoft Korea

Aug. 2014 - Aug. 2015

Research Goal

I aim to make computer systems secure for everyone. 🌏