Projects
I research the security of constant-time implementations for Korean Quantum-quantum Cryptography (KpqC).
I research on verification technology for PQC implementation and development of verification services
I study algebraic geometry codes through curves, divisors, Riemann-Roch spaces, and coding-theoretic constructions.
We develop the libOQS-based library for ML-KEM/DSA and Falcon.
A study on a quantum-safe, hard-to-solve public-key cryptographic algorithm.
I design and implement for Secure File Checker and Tamper-Evident Logging Suite
I develop Rust implementations and tests for cryptographic library components with attention to safety and correctness.
A study on PQC optimization and security protocol migration to neutralize advanced quantum attacks in Beyond 5G-based next-generation IoT computing environments
I use Cryptol to model cryptographic algorithms and check implementation behavior against executable formal specifications.
I Research on the provable security in cryptography.
I develop the discrete logarithm problem solver with the big-number arithmetic library.