cryspen / bertieLinks
Bertie TLS 1.3 Implementation
☆130Updated 2 months ago
Alternatives and similar repositories for bertie
Users that are interested in bertie are comparing it to the libraries listed below
Sorting:
- Rust bindings for the FreeBSD capsicum framework☆64Updated 2 weeks ago
- The formally verified crypto library for Rust☆188Updated this week
- Minimalistic hypervisor built on KVM, coded with Zig.☆148Updated last year
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- What do you call a pointer we stole the high bits off? An ointer.☆89Updated last week
- Efforts for packaging the Rust for Linux project with the Nix package manager☆58Updated 9 months ago
- A collection of high-performance crypto implementations.☆52Updated 3 weeks ago
- Frayed ribbon filter cascade☆48Updated 2 years ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆64Updated this week
- Privacy Pass implementation in Rust☆54Updated 2 weeks ago
- Verifying constant-time code with symbolic execution☆45Updated 4 years ago
- Community Cryptography Test Vectors☆88Updated last week
- The AEGIS-128X and AEGIS-256X high performance ciphers.☆38Updated last year
- A distributed hash table with unusually strong security properties☆64Updated 6 years ago
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆111Updated this week
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆52Updated this week
- FN-DSA (Falcon) signature scheme☆49Updated 8 months ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆62Updated 5 months ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆260Updated last week
- The OPAQUE Asymmetric PAKE Protocol☆111Updated 10 months ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆84Updated 4 years ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆104Updated 2 weeks ago
- Rush: Snabb written in Rust☆55Updated 4 years ago
- A Rust library for the Linux Landlock sandboxing feature☆169Updated last month
- A tweakable block cipher☆31Updated last year
- An example demonstrating how Rust and cargo support incompatible transitive dependencies (like Node.js + npm not Python + pip)☆31Updated last year
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- A practical experiment on supply-chain security using reproducible builds☆159Updated 2 years ago
- MnemOS Global Networking Protocol☆15Updated last year