My research focuses on the intersection of Mathematics and Cryptography, with particular emphasis on formal verification, provable security, and algebraic structures in cryptographic systems.
I am dedicated to advancing both the theoretical foundations and practical implementations of secure cryptographic protocols, bridging rigorous mathematical analysis with real-world applications.

Education

• Mar. 2025 – Present: M.S. in Cyber Security, Kookmin University
• Thesis: TBA
• Mar. 2019 – Feb. 2025: B.S. in Information Security, Cryptology and Mathematics, Kookmin University
• 2016 - 2017: Institute of Information Security Education for the Gifted, Kongju National University

News

• (August 19, 2025) Welcome to the site
  

Publications

• [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).
  See: https://arxiv.org/abs/2601.06868

Projects

• [2026.xx - 20xx.xx] Surface Code for Quantum Error-correction
  TBA

• [2026.xx - 20xx.xx] Algebraic Geometry Code
  TBA

• [2025.04 - 2028.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.

• [2023.09 - 2023.12] Provable Security in Cryptography
  We study the provable security in cryptography.

• [2023.09 - 2023.12] Discrete Logarithm Problem solver with Big-number Arithmetic Library
  We develop the discrete logarithm problem solver with the big-number arithmetic library.

• [2022.03 - 2027.02] 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

Techniques

• [Mathematics] Riemann–Roch
  

• [Cryptography] Number Theoretic Transform (NTT)
  

• [Mathematics] One-form
  

• [Programming] Neon Programming
  

• [Cryptography] Cryptography Title
  

Notes

• [mathematics,cryptography] TikZ Gallery by J.YH
  

• [mathematics,programming] Review for 2025 mathematics & programming study
  

• [Assebmly] ARMv8-A vs Cortex-A vs AArch64
  

Codes

• DLP calculator — 2023-2 Advanced Application Programming.

Talks