cryspen / bertie

Related projects ⓘ

Alternatives and complementary repositories for bertie

• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆88Updated this week
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆61Updated last month
• hacspec / hax
  A Rust verification tool
  ☆198Updated this week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆93Updated last week
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 4 years ago
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆54Updated 3 years ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆85Updated last year
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆47Updated last year
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆47Updated 4 months ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆53Updated 2 years ago
• b0bleet / zvisor
  Zig-based Hypervisor
  ☆133Updated 3 months ago
• landlock-lsm / rust-landlock
  A Rust library for the Linux Landlock sandboxing feature
  ☆91Updated 2 months ago
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆45Updated 8 months ago
• jedisct1 / aegis-X
  The AEGIS-128X and AEGIS-256X high performance ciphers.
  ☆34Updated last week
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆21Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆61Updated 3 months ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆29Updated 8 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆53Updated this week
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆44Updated last year
• kudelskisecurity / oramfs
  Resizable ORAM, remote storage agnostic, written in Rust
  ☆68Updated 2 years ago
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆57Updated 6 months ago
• jart / pledge
  OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM
  ☆100Updated last year
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆44Updated 4 months ago
• akamai-contrib / byztimed
  Byzantine-fault-tolerant time synchronization
  ☆39Updated 3 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆54Updated 2 years ago
• rustls / rustls-ffi
  Use Rustls from any language
  ☆133Updated this week
• C2SP / CCTV
  Community Cryptography Test Vectors
  ☆64Updated 3 weeks ago