✨ 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
supervision of Prof. Hyungon Moon.
My research interests are in system security, hardware security, and secure hardware system.
I love swimming and traveling. If you have any questions, feel free to contact me.
📄 Research Interests
-
Building secure software system
I am particularly interested in secure KVS(Key-value store) system. I am interested in improving the security of the system.
-
Software compartmentalization
Software compartmentalization is an approach that reduces the impact of one vulnerability by splitting software into pieces.
-
Hardware extension for security
Hardware extensions for secure system.
🔐 Research Goal
-
I want to make secure computer systems for everyone.
-
JOKRTL 수준 프로세서 구현으로부터의 ISA 명세 자동 추출 기법
(Extracting Instruction Set Architecture Semantics from a Processor Register-transfer Level)Seon Ha, Hyungon Moon
정보과학회논문지 제50권 제10호 2023.10 827 - 835 (9page) 정보과학회논문지 Journal of KIISE (JOK)
Paper link -
WISAProtecting Kernel Code integrity with PMP on RISC-V
Seon Ha, Hyungon Moon
World Conference on Information Security Applications (WISA) 2023
-
AceessKernel 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 -
KSC[우수논문] RTL 수준 프로세서구현으로부터의 ISA 명세 자동 추출 기법
(Extracting ISA semantics from a processor RTL)Seon Ha, Hyungon Moon
한국정보과학회 2022 한국소프트웨어종합학술대회 논문집 2022.12 891 - 893 (3page) KSC 2022
Paper link -
Ulsan National Institute of Science and Technology
PH.D of Science in Computer Science
Ulsan, KoreaMar. 2021 -
-
Ulsan National Institute of Science and Technology
Master of Science in Computer Science
Ulsan, KoreaMar. 2019 - Feb. 2021
-
University of Science and Technology
Master of Information Security Engineering
Daejeon, KoreaMar. 2018 - Aug. 2018
-
Dalian Ocean University
Exchange Student
Dalian, ChinaAug. 2016 - Feb. 2017
-
Pukyong National University
Bachelor of Engineering in information and communication engineering
Busan, KoreaMar. 2013 - Feb. 2018
-
ETRI (Electronics and Telecommunications Research Institute)
Software Engineer
- Indoor Localization: We researched to improve the accuracy of beacon recognition indoors.
Daejeon, KoreaJul. 2017 - Oct. 2017
-
KISBIC - Korea information security BOB Idea cup
KETRI(Korea Information Technology Research Institute), Korea
Create excellent information protection ideas and raise public awareness of security.
Netizen special prizeFeb. 2015
-
CERT-IS
Pukyong National University Security Club
Mar. 2014 - Feb. 2018
-
Microsoft Student Partners 8th
Microsoft Korea
Aug. 2014 - Aug. 2015