symbolicsoft / noiseexplorerLinks
Online engine for reasoning about the Noise Protocol Framework.
☆13Updated 7 months ago
Alternatives and similar repositories for noiseexplorer
Users that are interested in noiseexplorer are comparing it to the libraries listed below
Sorting:
- A collection of high-performance crypto implementations.☆52Updated last month
- AEGIS high performance ciphers for Rust.☆32Updated 2 months ago
- A pure rust implementation of the gimli cipher☆11Updated 3 years ago
- Collection of sponge functions written in pure Rust☆46Updated 4 months ago
- A small Rust crate to verify Minisign signatures.☆35Updated last month
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 2 months ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated last year
- Provides easy-to-use Linux seccomp-bpf jailing.☆86Updated 2 months ago
- Frayed ribbon filter cascade☆47Updated 2 years ago
- RSA blind signatures in Rust☆29Updated 3 months ago
- Format-preserving encryption in Rust☆28Updated 2 years ago
- Collection of universal hashing functions☆30Updated 2 weeks ago
- A Rust implementation of CPace, a balanced PAKE.☆25Updated last year
- Scipio is a thread-per-core framework that aims to make the task of writing highly parallel asynchronous application in a thread-per-core…☆9Updated last year
- Tool for performing dictionary attacks on DMG mountable disk images on OSX☆19Updated last year
- AES-GEM (AES Galois Extended Mode) implementation.☆13Updated 3 months ago
- Very fast cryptographic hashing for large messages.☆70Updated 3 months ago
- Rust bindings for HACL & Evercrypt☆28Updated 2 months ago
- Byzantine-fault-tolerant time synchronization☆40Updated 4 years ago
- Certificate transparency SCT verification library in rust☆51Updated 7 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆14Updated 4 months ago
- Aggregated audits for Rust crates by Mozilla☆27Updated last week
- Pure Rust compatibility layer for NaCl-family libraries☆76Updated 2 months ago
- A Rust implementation of the Strobe protocol framework☆27Updated 3 months ago
- Generated bindings for Linux's userspace API☆51Updated this week
- Initial discussions on signatures of WebAssembly modules.☆17Updated 3 years ago
- libyaml transpiled to rust by c2rust☆33Updated last year
- Checksum of a directory tree☆48Updated 5 months ago