Alternatives and similar repositories for crypto-auditing:

Users that are interested in crypto-auditing are comparing it to the libraries listed below

• fedora-iot / clevis-pin-tpm2
  Rewritten Clevis TPM2 PIN
  ☆16Updated 9 months ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆46Updated 3 weeks ago
• jedisct1 / nonce-extension
  Make AES-GCM safe to use with random nonces, for any practical number of messages.
  ☆18Updated 10 months ago
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆25Updated 6 years ago
• moyix / 2_ffast_2_furious
  A more realistic demo of a buffer overflow cause by -ffast-math
  ☆11Updated 2 years ago
• stratis-storage / devicemapper-rs
  A Rust library for using Linux devicemapper
  ☆71Updated this week
• dburgener / cascade
  A high level language for SELinux policy
  ☆57Updated this week
• kpcyrd / repro-env
  Dependency lockfiles for reproducible build environments 📦🔒
  ☆38Updated 2 months ago
• jedisct1 / dnssector
  A DNS library for Rust.
  ☆23Updated last month
• danobi / vmtest-action
  Github Actions wrapper for vmtest
  ☆11Updated last month
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆16Updated 2 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated last year
• jvoisin / compiler-flags-distro
  Usage of enabled-by-default hardening-related compiler flags across Linux distributions
  ☆47Updated last week
• ferivoz / alquitran
  tar analysis tool
  ☆21Updated 10 months ago
• ietf-rats-wg / eat
  Entity Attestation Token IETF Draft Standard
  ☆18Updated 2 weeks ago
• lowRISC / manticore
  ☆16Updated 2 years ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆81Updated last month
• ruscur / snowpatch
  Enabling continuous integration for patch-based development workflows.
  ☆79Updated 10 months ago
• landlock-lsm / linux
  Linux kernel - See Landlock issues
  ☆36Updated 2 months ago
• openSUSE / rapidquilt
  ☆21Updated last month
• joholl / tpmstream
  A tool to help you understand TPM commands and responses.
  ☆37Updated 2 months ago
• mricon / patatt
  Patch attestation utility
  ☆29Updated last year
• openSUSE / libpathrs
  C-friendly API to make path resolution safer on Linux.
  ☆87Updated this week
• tpm-rs / tpm-rs
  TPM 2.0 Implementation
  ☆46Updated 2 weeks ago
• systemd / package-notes
  Tools to add packaging metadata to ELF files
  ☆17Updated 4 months ago
• rustls / sct.rs
  Certificate transparency SCT verification library in rust
  ☆51Updated 3 months ago
• jedisct1 / zig-aes-gem
  AES-GEM (AES Galois Extended Mode) implementation.
  ☆12Updated 7 months ago
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆46Updated this week
• kpcyrd / backseat-signed
  Authenticate the cryptographic chain-of-custody of Linux distributions (like Arch Linux and Debian) to their source code inputs
  ☆29Updated 2 weeks ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆35Updated 4 years ago