symbolicsoft / noiseexplorer
Online engine for reasoning about the Noise Protocol Framework.
☆13Updated 5 months ago
Alternatives and similar repositories for noiseexplorer:
Users that are interested in noiseexplorer are comparing it to the libraries listed below
- A collection of high-performance crypto implementations.☆51Updated 3 weeks ago
- ☆55Updated 6 months ago
- AEGIS high performance ciphers for Rust.☆32Updated 3 weeks ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- AES-GEM (AES Galois Extended Mode) implementation.☆13Updated last month
- The AEGIS-128X and AEGIS-256X high performance ciphers.☆35Updated 4 months ago
- Frayed ribbon filter cascade☆47Updated 2 years ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated last year
- Rust implementation `libsodium/utils`.☆50Updated 3 months ago
- an authenticated, chunked cipher based on BLAKE3☆23Updated last month
- Ambient Authority☆21Updated last year
- Collection of sponge functions written in pure Rust☆46Updated 3 months ago
- A small Rust crate to verify Minisign signatures.☆35Updated 3 months ago
- Rust implemention of Ascon☆16Updated last week
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Aggregated audits for Rust crates by Mozilla☆26Updated this week
- A pure rust implementation of the gimli cipher☆11Updated 3 years ago
- Rust bindings for HACL & Evercrypt☆28Updated this week
- Performance crypto in pure Rust☆56Updated last month
- An eventually consistent LRU designed for lock-free concurrent reads☆22Updated 2 years ago
- Tool for performing dictionary attacks on DMG mountable disk images on OSX☆19Updated last year
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆58Updated this week
- ☆10Updated 6 months ago
- HPKE implementation for Zig.☆17Updated last month
- Traits for inspecting memory usage of Rust types☆25Updated 4 months ago
- A growable circular buffer for working with bytes☆19Updated last year
- Analyzing Travis and Azure Pipelines logs to find encountered errors☆44Updated last month
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated last year
- Collection of Key Encapsulation Mechanisms written in pure Rust☆46Updated last week