cryspen / bertie
Bertie TLS 1.3 Implementation
☆118Updated last week
Alternatives and similar repositories for bertie:
Users that are interested in bertie are comparing it to the libraries listed below
- The formally verified crypto library for Rust☆104Updated this week
- Rust bindings for the FreeBSD capsicum framework☆62Updated 2 months ago
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆48Updated 2 weeks ago
- What do you call a pointer we stole the high bits off? An ointer.☆86Updated last year
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- A collection of high-performance crypto implementations.☆46Updated 3 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆64Updated 6 months ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆46Updated this week
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆75Updated this week
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- A Unikernel running WebAssembly code☆50Updated last year
- Go debug your core dumps somewhere else☆26Updated 3 months ago
- A WASM package and web app for encrypting and decrypting age-encrypted files, powered by rage.☆81Updated 2 years ago
- Community Cryptography Test Vectors☆71Updated 3 weeks ago
- A Rust library for the Linux Landlock sandboxing feature☆97Updated last week
- A Rust verification tool☆229Updated this week
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆77Updated 3 years ago
- An example demonstrating how Rust and cargo support incompatible transitive dependencies (like Node.js + npm not Python + pip)☆29Updated 6 months ago
- The OPAQUE Asymmetric PAKE Protocol☆102Updated 3 weeks ago
- The AEGIS-128X and AEGIS-256X high performance ciphers.☆34Updated 2 months ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated 11 months ago
- Resizable ORAM, remote storage agnostic, written in Rust☆68Updated 2 years ago
- A CPace PAKE implementation using libsodium.☆35Updated 4 years ago
- A Certificate Transparency log implementation and monitoring API designed for scalability, ease of operation, and reduced cost.☆134Updated last month
- Use Rustls from any language☆135Updated last week
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆55Updated this week
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated last year
- A tweakable block cipher☆31Updated 9 months ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆66Updated this week