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
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- ☆24Updated 2 years ago
- A Rust implementation of the Strobe protocol framework☆27Updated this week
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆52Updated last year
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- Reverse engineering framework.☆36Updated 2 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- Arbitrary precision integers library.☆27Updated 3 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Ambient Authority☆20Updated last year
- Collection of sponge functions written in pure Rust☆42Updated last month
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 7 months ago
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- A pure rust implementation of the gimli cipher☆11Updated 3 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- ☆27Updated 4 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- Multi-party computation utilities toolkit for rust☆16Updated 5 years ago
- A Formal Semantics of WebAssembly in K☆79Updated this week
- ☆23Updated 2 years ago
- toy implementation of bfv in rust☆26Updated 2 years ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆29Updated 6 months ago
- Collection of universal hashing functions☆27Updated 3 weeks ago
- Check that a crate builds without libstd☆24Updated 4 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Provides a Refl encoding in Rust☆69Updated last year