GeezerVison is showing hacker-code-j.github.io — Code-J

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

Email GitHub

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.

Computed Mathematical Atlas

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

Preprints forthcoming.

Projects

2026.05 - 2026.11 Research on the Security for the Constant-Time Implementation of KpqC

I research the security of constant-time implementations for Korean Quantum-quantum Cryptography (KpqC).

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

I study algebraic geometry codes through curves, divisors, Riemann-Roch spaces, and coding-theoretic constructions.

2025.04 - 2026.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

I develop Rust implementations and tests for cryptographic library components with attention to safety and correctness.

2024.09 - 2024.12 Optimized implementation of Post-quantum Digital Signature Scheme 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

I use Cryptol to model cryptographic algorithms and check implementation behavior against executable formal specifications.

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

Mathematics Sheaf Cohomology 12: Divisors, Degree, and the Fundamental Theorem

Divisor degree on compact Riemann surfaces and a residue proof of the fundamental theorem of algebra.

Mathematics Sheaf Cohomology 11: Canonical Bundles, Chern Classes, and Curvature

The analytic representatives of degree and canonical divisor data.

Mathematics Sheaf Cohomology 10: Fine Sheaves, de Rham, and Dolbeault

Fine resolutions turn differential forms into sheaf cohomology computations.

Mathematics Sheaf Cohomology 09: Long Exact Sequences

How a local short exact sequence produces global obstruction maps.

Mathematics Sheaf Cohomology 08: Exponential Sequence and Line Bundles

Local logarithms produce integral obstruction classes for functions and line bundles.

GeezerVison