ExecutionProof PQ Custody v1.0 — AWS KMS ML-DSA-65
Abstract
Technical milestone record documenting ExecutionProof hardware-backed ML-DSA-65 ProofRecord signing through AWS KMS. The record states that formal RF-100 §8.4 conformance remains pending independent external review and identifies the review items for canonical payload hashing, algorithm identifiers, domain separation, replay protection, key-version binding, historical-key verification, and rotation behavior.
Fields of Study & Subjects
Cryptographic Implementations and Security
Security and Verification in Computing
IPv6
Mobility
Handover
Networks
Security
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 2 August 2026