Quantum Threat Model v2.0
Comprehensive threat modeling aligned with NIST PQC standards and CRQC timeline assumptions.
- 6 attacker classes: Opportunistic · Organized Crime · Nation-State (Classical) · Nation-State (Quantum) · HNDL Attacker · Malicious Insider
- 22 security controls mapped to specific threats
- HNDL (Harvest Now, Decrypt Later) timeline modeling
- Data classification: ephemeral → long-lived secrets
- Legacy migration milestones: staged classical deprecation (PQC-Native is the default)
- CRQC timeline assumptions tracked per attacker class
Cryptographic Attestation
Forensic-grade cryptographic evidence with NIST algorithm lifecycle tracking and compliance assessment.
- NIST algorithm registry with lifecycle status (Final / Draft / Deprecated)
- CBOM (Cryptographic Bill of Materials) export with SHA3-256 content hash
- Automated CNSA 2.0 and FIPS 140-3 compliance checks
- Policy enforcement: audit mode or hard-block mode
- Migration planning for deprecated algorithms (platform-wide)
- Machine-verifiable compliance snapshots with PQC signatures
Cryptographic Policy Engine
Tenant-configurable PQC enforcement with algorithm allowlists and HSM requirements.
- KEM: ML-KEM-512/768/1024 (FIPS 203 — formerly Kyber), HQC, BIKE, Classic McEliece, FrodoKEM, NTRU, NTRU-Prime
- Signatures: ML-DSA-44/65/87 (FIPS 204 — formerly Dilithium), SLH-DSA (FIPS 205 — formerly SPHINCS+), FN-DSA (FIPS 206 draft — formerly Falcon), MAYO, CROSS, UOV, SNOVA
- Symmetric: AES-256-GCM, ChaCha20-Poly1305
- 90 PQC algorithms across 14 families, 4 policy tiers: Default · Strict · Maximum · Government
- HSM-enforced root key protection (certification depends on deployment)
Cryptographic Provenance · Pinned Versions
Auditable provenance for every cryptographic primitive — pinned upstream library + language bindings, all versions verifiable against published releases.
- Upstream library: liboqs v0.15.0 (Open Quantum Safe — released 14 Nov 2025)
- OpenSSL provider: oqs-provider v0.11.0 (in sync with liboqs v0.15.0)
- Rust bindings: oqs v0.11.0 + oqs-sys v0.11.0
- Go bindings: liboqs-go v0.12.0
- Python bindings: liboqs-python v0.12.0
- TypeScript native bindings: @cuilabs/liboqs-native v0.15.0 (in-house, builds against pinned liboqs 0.15.0)
Cross-Verification · Dual-Provider Crypto
For maximum and government tiers, every cryptographic operation is independently verified by two distinct PQC implementations.
- 18 algorithms overlap between liboqs (native C) and noble (pure JS) — independent codebases
- Cross-verification mandatory for maximum + government policy tiers
- Cross-verification optional for strict tier (signature operations only)
- liboqs as primary provider, noble as secondary verifier
- Provider attestation logged for every operation (which provider, version, implementation type)
Provider Attestation in Audit Chain
Every crypto operation logs which provider produced the output — auditors can prove which implementation generated any given signature.
- ProviderAttestation record on every operation: provider name + version + impl type
- Implementation type: native (liboqs) · pure-js (noble) · openssl (oqs-provider)
- Cross-verification status: verified · single-provider · failed
- Algorithm + operation type recorded (sign / verify / encap / decap / keygen)
- Flows into AuditCryptoContext for tamper-evident attestation
Signed Audit Evidence
Cryptographically signed, hash-chained audit trail for compliance and forensics.
- 59 crypto-critical event types across 12 services
- PQC-signed events with ML-DSA-65 (Dilithium-3) signatures
- SHA3-256 event hash chains with SHA3-512 Merkle checkpoints
- Severity inference: info → critical
- Receipt-replay verification (independently re-validate any signed receipt)
- Real-time WebSocket streaming for SIEM ingest (Splunk, Datadog, Slack, GitHub, AWS, Azure, GCP, Okta)
Compliance Frameworks · 48 Controls
Real-time control evaluation against 7 compliance frameworks via live service health probes.
- SOC 2 Type II (6 controls)
- HIPAA Security Rule (6 controls)
- GDPR (5 controls)
- PCI DSS v4.0.1 (6 controls)
- ISO/IEC 27001:2022 (6 controls)
- PDPA Singapore (9 controls) · MAS TRM (10 controls)
Key Compromise Response
Automated 6-step remediation for suspected or confirmed key compromises.
- Step 1: record_incident — capture incident metadata + correlation ID
- Step 2: rotate_or_revoke_key — KMS-side action based on severity
- Step 3: trigger_storage_rewrap — re-encrypt affected stored objects
- Step 4: invalidate_capability_tokens — revoke active access tokens
- Step 5: emit_audit_event — append PQC-signed remediation record
- Step 6: notify_tenant — escalate via configured channels
Downgrade Attack Remediation
Real-time detection and response to cryptographic downgrade attempts.
- Protocol tracking: PQC-TLS → TLS 1.3 → TLS 1.2
- Algorithm monitoring: ML-DSA → ECDSA · ML-KEM → ECDH downgrades
- Automatic IP / user blocking on critical severity
- Token revocation and resource quarantine
- Escalation to key compromise handler
Fail-Closed Edge Enforcement
Two-layer entitlement enforcement at the edge gateway before any service proxy. Fail-closed for cryptographic services.
- Access-status layer: ok · restricted · blocked (402 / 403 responses)
- Capability layer: per-route allOf / anyOf feature-flag requirements
- Fail-closed for vault, KMS, enclaves, SSE-X, AI workloads
- No silent bypass — denies request if billing client unavailable
- SPIFFE / SVID inter-service mTLS with allowedCallers per service.manifest.json
PQC-TLS Production Canary
Standalone production service that continuously verifies PQC-TLS termination on production endpoints.
- Synthetic ML-KEM handshake against production endpoints on schedule
- Detects negotiation drops to classical key exchange
- Alerts on PQC algorithm downgrade in TLS handshake
- Independent service (apps/pqc-tls-canary) — does not share fate with edge gateway
- Health probe surfaced via /proxy/canary status
Cryptographic Hot-Reload + Drift Control
Live tenant policy updates without service restart. Continuous validation that environment stays migrated.
- Three event types: policy_updated · policy_deleted · policy_created
- Policy changes propagate to KMS, vault, audit, edge gateway in real time
- Drift-control validation: alerts if classical algorithms reappear post-migration
- BYOK / BYOH coexistence during cutover (existing customer keys / HSMs)
- Migration automation with dry-run + live cutover modes (every operation signed)