PLSysSec / ct-wasm
Constant-Time WebAssembly
☆24Updated 6 years ago
Alternatives and similar repositories for ct-wasm:
Users that are interested in ct-wasm are comparing it to the libraries listed below
- A Rust implementation of the Strobe protocol framework☆26Updated 6 months ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- Arbitrary precision integers library.☆27Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆52Updated last year
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Ambient Authority☆20Updated last year
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 4 years ago
- ☆24Updated 2 years ago
- Reverse engineering framework.☆36Updated 2 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 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
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- ☆22Updated 2 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆10Updated last year
- A WebAssembly test case generator☆43Updated 4 years ago
- Bare metal Rust support for USB armory MkII devices☆57Updated 4 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- "Blank slate" Dylint library☆10Updated 2 years ago
- Libhydrogen bindings for Rust.☆16Updated 2 months ago
- Modular register allocator algorithms☆106Updated 2 years ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- Collection of sponge functions written in pure Rust☆42Updated 3 weeks ago
- Combine a reader + writer into a duplex of Read + Write☆45Updated 4 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- Program synthesis is possible in Rust☆24Updated 6 years ago
- Rust library to print a WebAssembly binary to its textual format☆32Updated 4 years ago
- Apache-2 licensed common Ethereum structs shared by crates☆21Updated 5 years ago