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:
- Rust bindings for HACL & Evercrypt☆29Updated 5 months ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- Ambient Authority☆21Updated 2 years ago
- ☆24Updated 3 years ago
- A Rust implementation of the Strobe protocol framework☆27Updated 7 months ago
- Proposal to add instrumentation and tracing instructions to WebAssembly☆16Updated 4 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆56Updated 2 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- WebAssembly signing and verification tool☆50Updated 7 years ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 4 months ago
- Arbitrary precision integers library.☆28Updated 4 years ago
- Apache-2 licensed common Ethereum structs shared by crates☆21Updated 5 years ago
- ☆23Updated 3 years ago
- Reverse engineering framework.☆36Updated 3 years ago
- constant-size associative container backed by a simple array☆20Updated 2 years ago
- Very fast cryptographic hashing for large messages.☆69Updated 7 months ago
- A pure rust implementation of the gimli cipher☆12Updated 3 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆50Updated last year
- A Rust implementation of Plumtree algorithm☆29Updated 8 months ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated 2 years ago
- A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices.☆18Updated 3 years ago
- Performance crypto in pure Rust☆54Updated 7 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- SFI verifier of Wasm binaries☆82Updated 2 years ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆33Updated last year
- dom-like layout for terminal applications☆13Updated 4 years ago