Ji, YongHyeon

M.S. Student · Dept. of Cyber Security, Kookmin University · Seoul, Republic of Korea

Research Interests

Mathematics

Algebraic Geometry Algebraic Topology Complex Analysis

Cryptography

Provable Security Formal Verification

Applications

Algebraic Geometry Codes Quantum Error-Correction

My research focuses on Cryptography at the intersection of Mathematics and Computer Science — particularly how algebraic and geometric structures arise in cryptographic systems. I work on both the theoretical foundations and the practical implementation of secure cryptography, connecting rigorous mathematical analysis with real-world applications.

Education

Mar. 2025 – Present

M.S. in Cyber Security

Kookmin University · Seoul, Republic of Korea
Thesis: Machine-checked Verification for Correctness and Security of Cryptographic Algorithms

Mar. 2019 – Feb. 2025

B.S. in Information Security, Cryptology, and Mathematics

Kookmin University · Seoul, Republic of Korea

2016 – 2017

Institute of Information Security Education for the Gifted

Kongju National University · Chungcheongnam-do, Republic of Korea

Preprints

2026. 01 Complex Analysis and Riemann Surfaces - A Graduate Path to Algebraic Geometry

Compute-first lecture notes connecting classical complex analysis to compact Riemann surfaces and core algebraic geometry (line bundles, cohomology, Riemann–Roch, Jacobians).

arXiv

Projects

2026.04 - 2026.12 Verification technology for PQC implementation and development of verification services

I research on verification technology for PQC implementation and development of verification services

2026.03 - 20xx.xx Algebraic Geometry Code

TBA

2025.04 - 2025.12 Development of libOQS-based PQC-KEM/SIG Library

We develop the libOQS-based library for ML-KEM/DSA and Falcon.

2025.04 - 2025.11 Optimized implementation of NCC-SIGN Trinomial on ARMv8

A study on a quantum-safe, hard-to-solve public-key cryptographic algorithm.

2025.03 - 2025.06 The Big Data Processing using Elliptic Curve Cryptography

I design and implement for Secure File Checker and Tamper-Evident Logging Suite

2025.01 - 2025.08 Development for Cryptographic Library with Rust

TBA

2024.09 - 2024.12 Optimized implementation of ALTEQ on ARMv8

A study on PQC optimization and security protocol migration to neutralize advanced quantum attacks in Beyond 5G-based next-generation IoT computing environments

2024.04 - 2024.11 Formal Verification with Cryptol

TBA

2023.09 - 2023.12 Provable Security in Cryptography

I Research on the provable security in cryptography.

2023.09 - 2023.12 Discrete Logarithm Problem solver with Big-number Arithmetic Library

I develop the discrete logarithm problem solver with the big-number arithmetic library.