Alternatives and similar repositories for bertie:

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

• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆62Updated 3 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆110Updated this week
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated last year
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆49Updated last month
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆86Updated last year
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆80Updated 2 weeks ago
• cryspen / hax
  A Rust verification tool
  ☆235Updated this week
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆55Updated 3 years ago
• C2SP / CCTV
  Community Cryptography Test Vectors
  ☆73Updated last month
• docfate111 / penguincrab
  rust wrapper for linux kernel library
  ☆46Updated 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
  ☆65Updated 7 months ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆55Updated 3 weeks ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆55Updated 3 years ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• str4d / wage
  A WASM package and web app for encrypting and decrypting age-encrypted files, powered by rage.
  ☆81Updated 2 years ago
• javierhonduco / sweeper
  🧹🧹🧹 File expiration for any filesystem
  ☆46Updated last year
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 3 weeks ago
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆46Updated this week
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated 10 months ago
• C2SP / C2SP
  Community Cryptography Specification Project
  ☆347Updated this week
• 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.
  ☆48Updated last month
• rustls / rustls-ffi
  Use Rustls from any language
  ☆136Updated this week
• oxidecomputer / propolis
  VMM userspace for illumos bhyve
  ☆184Updated this week
• rozbb / rust-hpke
  An implementation of the HPKE hybrid encryption standard (RFC 9180)
  ☆68Updated 3 weeks ago
• oxidecomputer / fable
  TOML deck generator with custom templates and schema validation
  ☆35Updated last year
• landlock-lsm / rust-landlock
  A Rust library for the Linux Landlock sandboxing feature
  ☆104Updated last month
• cfrg / draft-irtf-cfrg-opaque
  The OPAQUE Asymmetric PAKE Protocol
  ☆102Updated last month
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago