All pull requests

Pull requests

• Make RC2-CBC use verified in-place encryption and decryption

  #4812·reaperhulk opened Nov 9, 2026Member·

  ·

• Registrations: inline single-use builders; one title per algorithm

  #4811·alex opened Nov 9, 2026Member·

  ·

• PPC64LE P-384 ECDSA: verification's [u]G by the comb

  untrusted-only
  #4807·alex opened Nov 9, 2026Member·

  ·

• TCB: an artifact's CPU features are those its code requires

  #4806·alex opened Nov 9, 2026Member·

  ·

• PPC64LE P-224: public keys and RFC 6979 signatures by the signed seven-bit comb

  #4804·alex opened Nov 9, 2026Member·

  ·

• PPC64LE P-521 ECDSA: verification's [u]G by the comb

  untrusted-only
  #4800·alex opened Nov 9, 2026Member·

  ·

• PPC64LE brainpoolP512r1: public keys and signatures by the comb

  #4799·alex opened Nov 9, 2026Member·

  ·

• Registrations: a file per hash on x86-64, AArch64 and x86

  #4796·alex opened Nov 9, 2026Member·

  ·

• Registrations: one file per algorithm and target

  #4794·alex opened Nov 9, 2026Member·

  ·
  1

• x86-64 ChaCha20 apply: keep the data and its length in r14 and r15, and take the state back after vg_chacha20_xor

  untrusted-only
  #4748·reaperhulk opened Nov 8, 2026Member·

  ·

• MdStream x86-64: bound each indexed buffer store by clamping its index

  untrusted-only
  #4745·reaperhulk opened Nov 8, 2026Member·

  ·

• TCB: x86-64 functions return without secret residue, but those an allowlist names

  #4741·reaperhulk opened Nov 8, 2026Member·

  ·
  1

• AArch64 P-521: fuse doubling linear combinations

  untrusted-only
  #4646·reaperhulk opened Nov 8, 2026Member·

  ·

• CI: test RISC-V under QEMU on an x86-64 runner

  #4325·reaperhulk opened Nov 6, 2026Member·

  ·

• DSA parameter search on RISC-V

  #4278·alex opened Nov 5, 2026Member·

  ·
  7

• RISC-V: FFDH, with cached key generation and sieved parameter generation

  #4121·alex opened Nov 3, 2026Member·

  ·
  5

• rustls-provider: a rustls CryptoProvider backed by verified-garbage, and benchmarks against aws-lc-rs

  #991·alex opened Oct 5, 2026Member·

  ·
  5

• Experiment: verified "no secret residue" on return (x86-64)

  #801·reaperhulk opened Oct 4, 2026Member·

  ·
  2