cryspen/libcrux · Security
libcrux-ml-dsa: Signature Verification on AVX2 Platforms Mishandles Edge Case
- GHSA ID
- GHSA-fhvh-vw7h-9xf3
- Severity
- high
- Published
- Updated
- CVSS v4
- 8.2 · CVSS:4.0/AV:N/AC:L/AT:P/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
Description
The AVX2 implementation of ML-DSA verification incorrectly implemented
the use_hint function, mishandling an edge case that should lead to
signature rejection.
Impact
An attacker could make the ML-DSA verifier accept a crafted invalid signature under a maliciously generated verification key, if the AVX2 implementation is used.
Mitigation
From version 0.0.9 the edge case is handled correctly and invalid
signatures are rejected.
CWEs
- CWE-347 · Improper Verification of Cryptographic Signature