Search results

Make secret vs. public arguments more explicit in safety specifications

Status: Open.

#362 In awslabs/s2n-bignum;

· hanno-becker opened on Mar 2, 2026

Align set of event-generating instructions with DOIT/DIT

Status: Open.

#361 In awslabs/s2n-bignum;

· hanno-becker opened on Mar 2, 2026

Add some missing secp256k1 routines

Status: Open.

#356 In awslabs/s2n-bignum;

· Rexicon226 opened on Feb 19, 2026

Remove duplicates in <code>mk_safety_spec</code>

Status: Open.

#350 In awslabs/s2n-bignum;

· hanno-becker opened on Feb 15, 2026

HOL Light folder

Status: Open.

#335 In awslabs/s2n-bignum;

· arademaker opened on Jan 9, 2026

Revisit the bounds in NTT and other ML-KEM/ML-DSA proofs

Status: Open.

#328 In awslabs/s2n-bignum;

· jargh opened on Dec 20, 2025

Clang-proof x86 vector code

Status: Open.

#327 In awslabs/s2n-bignum;

· jargh opened on Dec 19, 2025

Tagging a package version

Status: Open.

#313 In awslabs/s2n-bignum;

· apache-hb opened on Nov 22, 2025

Better error message for <code>SUBSUMED_MAYCHANGE_TAC</code>

Status: Open.

#296 In awslabs/s2n-bignum;

· aqjune-aws opened on Sep 25, 2025

MAYCHANGE prediate doesn't discharge well when YMM registers are involved

Status: Open.

#256 In awslabs/s2n-bignum;

· aqjune-aws opened on Jul 7, 2025

Support AArch64 BTI (Branch Target Indication) and PAC (Pointer Address Code)

Status: Open.

#217 In awslabs/s2n-bignum;

· briansmith opened on Apr 1, 2025

Document support Intel CET IBT (Indirect Branch Tracking)

Status: Open.

#216 In awslabs/s2n-bignum;

· briansmith opened on Mar 31, 2025