Ji, Yonghyeon
M.S. Student · Dept. of Cyber Security, Kookmin University · Seoul, Korea
Research Interests
Algebraic Geometry
Algebraic Topology
Complex Analysis
Algebraic Geometry Codes
Formal Verification
Provable Security
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
2016 – 2017
Institute of Information Security Education for the Gifted
Kongju National University
Preprints
Compute-first lecture notes connecting classical complex analysis to compact Riemann surfaces and core algebraic geometry (line bundles, cohomology, Riemann–Roch, Jacobians).
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.
Articles
Assebmly
ARMv8-A vs Cortex-A vs AArch64
Programming
Neon Programming
Mathematics
(EM-KDS) Topology I
Mathematics
(EM-KDS) Set Theory I
Mathematics
(EM-KDS) Set Theory II
