My research focuses on Cryptography at the intersection of Mathematics and Computer Science. I’m particularly interested in how algebraic and geometric structures show up 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
• 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.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
  

Codes

Talks