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

2023

  • JOK
    RTL 수준 프로세서 구현으로부터의 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
  • WISA
    Protecting Kernel Code integrity with PMP on RISC-V

    Seon Ha, Hyungon Moon

    World Conference on Information Security Applications (WISA) 2023

  • Aceess
    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 891 - 893 (3page) KSC 2022

    Paper link
  • Ulsan National Institute of Science and Technology

    PH.D of Science in Computer Science

    Ulsan, Korea

    Mar. 2021 -                  

  • 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

    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

  • ETRI (Electronics and Telecommunications Research Institute)

    Software Engineer

    • Indoor Localization: We researched to improve the accuracy of beacon recognition indoors.
    Daejeon, Korea

    Jul. 2017 - Oct. 2017

🏆 Awards

  • 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 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