Ji, Yong-Hyeon
Position: M.S. Student in Department of Cyber Security, Kookmin University.
Interests:
- Formal Verification, Machine-checked Proof
- Provable Security, Functional Correctness
- Algebraic Geometry, Algebraic Topology, Complex Analysis
- Algebraic Geometry Code
- Quantum Error-correcting Code, Surface Code
Github: Hacker-Code-J
I’m Ji Yong-Hyeon, and my main interests lie in Mathematics and Cryptography.
My academic work is motivated by the elegance of modern cryptography and the challenge of bridging theoretical ideas with practical implementations.
Education
- Mar. 2025 – Present: M.S. Student in Department of Cyber Security, Kookmin University
- Thesis: TBA.
- Mar. 2019 – Feb. 2025: B.S. in Department of 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
Projects
- [2022.03 - 2027.02] PQC-SIG | ALTEQ in ARMv8-A
A study on PQC optimization and security protocol migration to neutralize advanced quantum attacks in Beyond 5G-based next-generation IoT computing environments
- [2025.04 - 2025.11] PQC-SIG | NCC-SIGN-T in ARMv8-A
A study on a quantum-safe, hard-to-solve public-key cryptographic algorithm.
Techniques
-
[Mathematics] One-form
-
[Programming] Neon Programming
-
[Cryptography] Cryptography Title
Notes
-
[mathematics,programming] Review for 2025 mathematics & programming study
-
[Assebmly] ARMv8-A vs Cortex-A vs AArch64
Codes
- DLP calculator — 2023-2 Advanced Application Programming.