Alternatives and similar repositories for bertie

Users that are interested in bertie are comparing it to the libraries listed below

• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆127Updated this week
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆61Updated 5 months ago
• cryspen / hax
  A Rust verification tool
  ☆262Updated this week
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆57Updated 3 months ago
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆48Updated this week
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆136Updated last week
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆86Updated last year
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated 9 months ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆51Updated last month
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆89Updated last week
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆53Updated this week
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆47Updated 2 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆55Updated 3 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• awslabs / duvet
  A requirements traceability tool
  ☆72Updated this week
• landlock-lsm / rust-landlock
  A Rust library for the Linux Landlock sandboxing feature
  ☆133Updated last week
• keszybz / add-determinism
  Build postprocessor to reset metadata fields for build reproducibility
  ☆132Updated last month
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆59Updated this week
• gustin / opaque
  OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…
  ☆78Updated 3 years ago
• cronokirby / multiset-hash
  A small crate for hashing multi sets
  ☆16Updated 3 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆55Updated 3 years ago
• C2SP / CCTV
  Community Cryptography Test Vectors
  ☆77Updated last month
• transparency-dev / witness
  Libraries and binaries for running witnesses for verifiable logs
  ☆25Updated last week
• jedisct1 / cpace
  A CPace PAKE implementation using libsodium.
  ☆35Updated 4 years ago
• insanitybit / cargo-sandbox
  ☆113Updated 2 years ago
• kspalaiologos / qbdiff
  building and applying patches to binary files
  ☆71Updated last year
• jedisct1 / rust-sthash
  Very fast cryptographic hashing for large messages.
  ☆70Updated 2 months ago