Projects
- 2026.04 - 2026.12 | Research on verification technology for PQC implementation and development of verification services
- 2026.03 - 20xx.xx | Algebraic Geometry Code
- 2025.04 - 2025.12 | Development and Demonstration of PQC-based Joint Certificate PKI Technology
- 2025.04 - 2025.11 | NCC-SIGN Trinomial (ARMv8)
- 2025.03 - 2025.06 | The Big Data Processing using Elliptic Curve Cryptography
- 2025.01 - 2025.08 | Development for Cryptographic Library with Rust
- 2024.09 - 2024.12 | ALTEQ (ARMv8)
- 2024.04 - 2024.11 | Formal Verification with Cryptol
- 2023.09 - 2023.12 | Provable Security in Cryptography
- 2023.09 - 2023.12 | DLP solver with Big-number Arithmetic Library
