Search results

[aes] Use libcrux-kats instead of external wycheproof crate

Status: Open.

#1477 In cryspen/libcrux;

· jschneider-bensch opened on Jun 9, 2026

[kats] Add AES-CCM wycheproof test vectors

Status: Open.

#1476 In cryspen/libcrux;

· jschneider-bensch opened on Jun 9, 2026

[secrets] classify_ref APIs can lead to false-positive valgrind errors

enhancementNew feature or requestNew feature or request

Status: Open.

#1469 In cryspen/libcrux;

· robinhundt opened on Jun 1, 2026

Stable type names in C extractions

C

Status: Open.

Enhancement

#1468 In cryspen/libcrux;

· djmdjm opened on Jun 1, 2026

[C] Ensure quality of extractions

C

ciContinuous integrationContinuous integration

Status: Open.

#1463 In cryspen/libcrux;

· jschneider-bensch opened on May 27, 2026

[secrets] Add cmov based select/swap for x86 backends

enhancementNew feature or requestNew feature or request

Status: Open.

#1460 In cryspen/libcrux;

· robinhundt opened on May 26, 2026

[hmac/CI] Build & test on CI

ciContinuous integrationContinuous integration

Status: Open.

Enhancement

#1452 In cryspen/libcrux;

· jschneider-bensch opened on May 20, 2026

[hmac-drbg/CI] Build & test on CI

ciContinuous integrationContinuous integration

Status: Open.

Enhancement

#1451 In cryspen/libcrux;

· jschneider-bensch opened on May 20, 2026

[hmac-drbg] Review zeroization

Status: Open.

#1450 In cryspen/libcrux;

· jschneider-bensch opened on May 20, 2026

[Meta/workspace] Zeroization

meta

Status: Open.

#1449 In cryspen/libcrux;

· jschneider-bensch opened on May 20, 2026

[ctgrind] Test all platform implementations

Status: Open.

#1448 In cryspen/libcrux;

· jschneider-bensch opened on May 19, 2026

[ctgrind] Run KAT tests under valgrind

Status: Open.

#1445 In cryspen/libcrux;

· jschneider-bensch opened on May 19, 2026