Projects
Current Research
Verification technology for PQC implementation and development of verification services
I research on verification technology for PQC implementation and development of verification services
Past Projects
Development of libOQS-based PQC-KEM/SIG Library
We develop the libOQS-based library for ML-KEM/DSA and Falcon.
Optimized implementation of NCC-SIGN Trinomial on ARMv8
A study on a quantum-safe, hard-to-solve public-key cryptographic algorithm.
The Big Data Processing using Elliptic Curve Cryptography
I design and implement for Secure File Checker and Tamper-Evident Logging Suite
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
Provable Security in Cryptography
I Research on the provable security in cryptography.
Discrete Logarithm Problem solver with Big-number Arithmetic Library
I develop the discrete logarithm problem solver with the big-number arithmetic library.