刘天赫

Rust, JavaScript/TypeScript, Python, Isabelle/HOL, Node.js, CI/CD, Cryptography.

Formal verification (Isabelle/HOL), Post-Quantum Cryptography standards (FIPS 203/204), and software supply chain security.

FIBEMATE - An open-source PQC engineering verification platform and CBOM auditing toolchain

Technical discussions on PQC migration, CBOM validation, and CI/CD delivery gates.