cryspen / bertie
Bertie TLS 1.3 Implementation
☆118Updated this week
Alternatives and similar repositories for bertie:
Users that are interested in bertie are comparing it to the libraries listed below
- Rust bindings for the FreeBSD capsicum framework☆62Updated 4 months ago
- The formally verified crypto library for Rust☆116Updated this week
- Efforts for packaging the Rust for Linux project with the Nix package manager☆57Updated last month
- A Rust verification tool☆246Updated this week
- Community Cryptography Test Vectors☆73Updated 2 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆86Updated last year
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆51Updated 2 months ago
- A Rust library for the Linux Landlock sandboxing feature☆121Updated this week
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- Build postprocessor to reset metadata fields for build reproducibility☆61Updated 2 weeks ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Use Rustls from any language☆139Updated this week
- A suite of testvectors for X.509 certificate path validation and tools for building them☆47Updated this week
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆83Updated 3 weeks ago
- A Unikernel running WebAssembly code☆50Updated 2 years ago
- Privacy Pass implementation in Rust☆30Updated 4 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 8 months ago
- Rush: Snabb written in Rust☆55Updated 3 years ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- A requirements traceability tool☆71Updated 3 weeks ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆55Updated 3 years ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆84Updated last week
- A collection of high-performance crypto implementations.☆49Updated this week
- An example demonstrating how Rust and cargo support incompatible transitive dependencies (like Node.js + npm not Python + pip)☆30Updated 7 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated last month
- Rust bindings for HACL & Evercrypt☆28Updated last year
- rust wrapper for linux kernel library☆46Updated 2 years ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated last year
- WebPKI-level Certificate Revocation via Multi-Level Bloom Filter Cascade☆91Updated 3 weeks ago