You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Timing checks: assembly scan and a dynamic timing test #16
Part of the security gate for 2.0. KyberSlash and CVE-2024-37880 both came from the compiler, not from the source code, so reading Rust isn't enough. We need to check what actually gets built.
A script that builds release binaries for x86_64 and aarch64 (plus a spot check on 32-bit x86 and armv7, since we ship those) and looks for division instructions and secret-dependent branches in decaps, compress, poly_tomsg, poly_frommsg and the compare/select code
A dynamic test (dudect-style, or valgrind with secrets marked undefined, like ctgrind) on decaps with valid vs. invalid ciphertexts
Activity