TY - RPRT TI - Dependency-Aware ROM/CBD Correctness Bounds for ML-KEM-768 at the Heuristic Failure Scale AU - Aurélie Duriez AU - Christophe Tommasini PY - 2026 UR - https://arxiv.org/abs/2609.09983 ID - 2609.09983 ER -