✨ 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 am a big fan of the NC Dinos ⚾.
If you have any questions, please feel free to contact me.

📄 Research Interests

System Security
Confidential Computing
Cloud Computing and Distributed 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

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. 🌏