cryspen / bertie
Bertie TLS 1.3 Implementation
☆112Updated 2 months ago
Related projects: ⓘ
- The formally verified crypto library for Rust☆78Updated this week
- Rust bindings for the FreeBSD capsicum framework☆61Updated 3 months ago
- A Rust verification tool☆176Updated this week
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆47Updated 2 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆84Updated this week
- A Unikernel running WebAssembly code☆47Updated last year
- A distributed hash table with unusually strong security properties☆64Updated 4 years ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆30Updated 6 months ago
- A collection of high-performance crypto implementations.☆44Updated 2 months ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- What do you call a pointer we stole the high bits off? An ointer.☆85Updated last year
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆52Updated this week
- A cache hard password hash/KDF☆41Updated 6 months ago
- Efforts for packaging the Rust for Linux project with the Nix package manager☆52Updated 2 years ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆61Updated last month
- The AEGIS-128X and AEGIS-256X high performance ciphers.☆34Updated 3 months ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆38Updated this week
- A portable self-bootstrapping C compiler☆48Updated this week
- Community Cryptography Test Vectors☆53Updated 6 months ago
- Community Cryptography Specification Project☆284Updated this week
- A WASM package and web app for encrypting and decrypting age-encrypted files, powered by rage.☆74Updated last year
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆93Updated 10 months ago
- Verifying constant-time code with symbolic execution☆40Updated 2 years ago
- The BLAKE3 paper: specifications, analysis, and design rationale☆163Updated 2 years ago
- ☆16Updated this week
- A small crate for hashing multi sets☆14Updated 3 years ago
- Zig-based Hypervisor☆126Updated last month
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- ☆86Updated 3 weeks ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆37Updated last month