symbolicsoft / noiseexplorer
Online engine for reasoning about the Noise Protocol Framework.
☆13Updated 4 months ago
Alternatives and similar repositories for noiseexplorer:
Users that are interested in noiseexplorer are comparing it to the libraries listed below
- A small Rust crate to verify Minisign signatures.☆34Updated 2 months ago
- AEGIS high performance ciphers for Rust.☆32Updated last month
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- A collection of high-performance crypto implementations.☆48Updated this week
- A pure rust implementation of the gimli cipher☆11Updated 3 years ago
- The AEGIS-128X and AEGIS-256X high performance ciphers.☆35Updated 3 months ago
- Performance crypto in pure Rust☆56Updated 3 weeks ago
- AES-GEM (AES Galois Extended Mode) implementation.☆13Updated last month
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated last year
- ☆19Updated 4 years ago
- Collection of sponge functions written in pure Rust☆44Updated 2 months ago
- Collection of universal hashing functions☆28Updated last month
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated last year
- A DNS library for Rust.☆23Updated 2 months ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated last year
- An application template for Hermit for Rust.☆32Updated last month
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆53Updated last year
- Collection of Key Encapsulation Mechanisms written in pure Rust☆42Updated 3 weeks ago
- Tool for performing dictionary attacks on DMG mountable disk images on OSX☆18Updated last year
- A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.☆30Updated 7 years ago
- Certificate transparency SCT verification library in rust☆51Updated 4 months ago
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.☆29Updated 7 months ago
- ASN.1 library for Rust☆47Updated 7 months ago
- A crate for reading, parsing, verifying, and generating OpenSSH certificates and keys.☆17Updated 8 months ago
- Format-preserving encryption in Rust☆28Updated last year
- ☆54Updated 5 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆14Updated last month
- A pure Rust implementation of the Minisign signature tool.☆93Updated 2 months ago
- Rust implemention of Ascon☆14Updated last year