symbolicsoft / noiseexplorerLinks
Online engine for reasoning about the Noise Protocol Framework.
☆13Updated 8 months ago
Alternatives and similar repositories for noiseexplorer
Users that are interested in noiseexplorer are comparing it to the libraries listed below
Sorting:
- A small Rust crate to verify Minisign signatures.☆37Updated last month
- AEGIS high performance ciphers for Rust.☆32Updated 3 months ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- A tiny library to properly encrypt IP addresses.☆19Updated last month
- A pure Rust implementation of the Minisign signature tool.☆98Updated 2 weeks ago
- Frayed ribbon filter cascade☆47Updated 2 years ago
- A collection of high-performance crypto implementations.☆52Updated 2 months ago
- AES-GEM (AES Galois Extended Mode) implementation.☆13Updated 4 months ago
- Certificate transparency SCT verification library in rust☆52Updated 7 months ago
- Privacy Pass implementation in Rust☆39Updated last week
- Collection of sponge functions written in pure Rust☆46Updated 5 months ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 2 months ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆75Updated 4 months ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆60Updated this week
- Rust bindings for HACL & Evercrypt☆28Updated 2 months ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated last year
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆126Updated 6 months ago
- Resizable ORAM, remote storage agnostic, written in Rust☆70Updated 3 years ago
- atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust☆29Updated 4 months ago
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated 2 years ago
- Bertie TLS 1.3 Implementation☆119Updated last month
- A set of Rust crates to make it easier to interoperate with Linux as a process☆44Updated 2 years ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆14Updated 4 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- The AEGIS-128X and AEGIS-256X high performance ciphers.☆36Updated 6 months ago
- HPKE implementation for Zig.☆17Updated 4 months ago
- an authenticated, chunked cipher based on BLAKE3☆23Updated 2 months ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- Collection of universal hashing functions☆30Updated last month