PLSysSec / ct-wasmLinks
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
Sorting:
- Ambient Authority☆21Updated 2 years ago
- A Rust implementation of the Strobe protocol framework☆27Updated 4 months ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- Rust bindings for HACL & Evercrypt☆29Updated 3 months ago
- Performance crypto in pure Rust☆53Updated 4 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- Reverse engineering framework.☆36Updated 3 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated last month
- ☆24Updated 2 years ago
- WebAssembly signing and verification tool☆50Updated 7 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years 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
- ☆23Updated 2 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆33Updated last year
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- constant-size associative container backed by a simple array☆19Updated last year
- Collection of universal hashing functions☆34Updated last month
- Modular register allocator algorithms☆106Updated 2 years ago
- JS affine☆67Updated 5 years ago
- A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices.☆18Updated 3 years ago
- A small standalone WebAssembly interpreter in Rust☆36Updated 6 years ago
- Arbitrary precision integers library.☆28Updated 4 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 5 months ago
- Very fast cryptographic hashing for large messages.☆70Updated 4 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 3 months ago
- WASI implementation in Rust☆31Updated 5 years ago