PLSysSec / ct-wasmLinks
Constant-Time WebAssembly
☆24Updated 7 years ago
Alternatives and similar repositories for ct-wasm
Users that are interested in ct-wasm are comparing it to the libraries listed below
Sorting:
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆56Updated 2 years ago
- A Rust implementation of the Strobe protocol framework☆27Updated 7 months ago
- Rust bindings for HACL & Evercrypt☆30Updated 6 months ago
- ☆24Updated 3 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 4 months ago
- Arbitrary precision integers library.☆28Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Performance crypto in pure Rust☆54Updated 8 months ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- Verifying constant-time code with symbolic execution☆44Updated 4 years ago
- Ambient Authority☆21Updated 2 years ago
- ☆23Updated 3 years ago
- A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices.☆18Updated 3 years ago
- Reverse engineering framework.☆36Updated 3 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 8 months ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆92Updated 5 years ago
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 3 years ago
- Modular register allocator algorithms☆105Updated 3 years ago
- constant-size associative container backed by a simple array☆20Updated 2 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- WebAssembly signing and verification tool☆50Updated 7 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 8 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆51Updated last year
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 6 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated last year
- dom-like layout for terminal applications☆13Updated 4 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 5 years ago