4 papers
TALUS: FIPS-204-Exact Threshold ML-DSA via Boundary Clearance
Leo Kao, Raymond Chang
We present TALUS, a threshold signing protocol for ML-DSA (FIPS 204) that supports an arbitrary number of parties, emits signatures accepted by any unmodified ML-DSA verifier, and…
FIPS 204-Compatible Threshold ML-DSA via Shamir Nonce DKG
Leo Kao
We present the first threshold ML-DSA (FIPS 204) scheme achieving nonce share privacy (conditional min-entropy guarantee; no computational assumptions) with arbitrary thresholds, w…
Post-Quantum-Resilient Audit Evidence for Long-Lived Regulated Systems: Security Models, Migration Patterns, and Case Study
Leo Kao
Constant-size cryptographic evidence records are increasingly used to build audit trails for regulated AI workloads in clinical, pharmaceutical, and financial settings, where each…
Constant-Size Cryptographic Evidence Structures for Regulated AI Workflows
Leo Kao
Regulated AI workflows (such as clinical trials, medical decision support, and financial compliance) must satisfy strict auditability and integrity requirements. Existing audit-tra…