FINDING · EVALUATION
In the DNS+Mastodon steganographic HCS case study, model-predicted latency distribution for 1,600B Iodine file transfers shows strong semantic alignment with testbed measurements: KL(EXP ∥ SMC) = 0.0007 and KL(SMC ∥ EXP) = 0.0007, with experimental mean 3.822s (σ=1.191, n=300) versus model mean 3.796s (σ=1.166, n=13,080).
From 2026-khoury-maude-hcs-model-checking — Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems · §5.3 · 2026 · PoPETs 2026
Implications
- Formal model predictions can be trusted as proxies for real deployment behavior: model-validated privacy parameters transfer to physical testbeds with minimal divergence, enabling pre-deployment privacy hardening without full hardware testbed access.
Tags
Extracted by claude-sonnet-4-6 — review before relying.