Alternatives and similar repositories for crypto-auditing

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

• oxidecomputer / pki-playground
  Tool for generating non-trivial X.509 certificate chains
  ☆31Updated 2 weeks ago
• keylime / rust-keylime
  Rust implementation of the keylime agent
  ☆126Updated this week
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆54Updated this week
• facebookincubator / antlir
  ANoTher Linux Image buildeR
  ☆88Updated this week
• danobi / vmtest
  Helps run tests in virtual machines
  ☆128Updated 6 months ago
• containers / initoverlayfs
  ☆40Updated last year
• cyphar / libpathrs
  C-friendly API to make path resolution safer on Linux.
  ☆96Updated this week
• kpcyrd / repro-env
  Dependency lockfiles for reproducible build environments 📦🔒
  ☆46Updated 3 months ago
• oracle / ktls-utils
  TLS handshake utilities for in-kernel TLS consumers
  ☆39Updated last week
• giuseppe / easyseccomp
  DSL language to write seccomp filters
  ☆37Updated last year
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆61Updated this week
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆53Updated 3 months ago
• dburgener / cascade
  A high level language for SELinux policy
  ☆59Updated last week
• vitalyvch / strace.ebpf
  This repository contains a tool which traces syscalls in a fast way using eBPF linux kernel feature
  ☆16Updated 8 years ago
• uapi-group / kernel-features
  A collection of ideas for new kernel features
  ☆63Updated last month
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆99Updated last week
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆25Updated 6 years ago
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆33Updated this week
• parallaxsecond / rust-tss-esapi
  TSS 2.0 Enhanced System API (ESAPI) Rust wrapper
  ☆106Updated last month
• jedisct1 / nonce-extension
  Make AES-GCM safe to use with random nonces, for any practical number of messages.
  ☆18Updated last year
• tpm-rs / tpm-rs
  TPM 2.0 Implementation
  ☆59Updated 3 weeks ago
• ruscur / snowpatch
  Enabling continuous integration for patch-based development workflows.
  ☆81Updated last year
• indygreg / linux-packaging-rs
  Rust projects related to Linux packaging
  ☆37Updated 8 months ago
• google / glome
  Generic Low Overhead Message Exchange (GLOME) is a protocol providing secure authentication and authorization for low dependency environm…
  ☆63Updated 3 weeks ago
• ietf-wg-scitt / draft-ietf-scitt-architecture
  An Architecture for Trustworthy Digital Supply Chain Transparency Services
  ☆13Updated this week
• redcanaryco / oxidebpf
  A Rust library for managing eBPF programs.
  ☆120Updated last year
• seedwing-io / seedwing-policy
  A functional type system for policy inspection, audit and enforcement.
  ☆13Updated last year
• hughsie / passim
  A local caching server
  ☆103Updated last week
• el8 / reaperfish
  Console IO monitor using BPF to record per IO latency
  ☆17Updated 2 years ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆91Updated last week