arXiv cs.CR·17d agoDependency-Aware ROM/CBD Correctness Bounds for ML-KEM-768 at the Heuristic Failure Scale#decapsulation-failure#fips-203#formal-analysisResearch1