PLSysSec / ct-wasm

Related projects: ⓘ

• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆50Updated last year
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆27Updated last year
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 4 years ago
• rozbb / strobe-rs
  A Rust implementation of the Strobe protocol framework
  ☆25Updated last month
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last year
• rust-crypto-labs / rust-sike
  ☆24Updated 2 years ago
• RustCrypto / sponges
  Collection of sponge functions written in pure Rust
  ☆41Updated last week
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 2 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆19Updated last year
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 3 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆40Updated 2 years ago
• cryptocorrosion / cryptocorrosion
  Performance crypto in pure Rust
  ☆52Updated last month
• RustCrypto / universal-hashes
  Collection of universal hashing functions
  ☆27Updated last week
• jedisct1 / rust-cpace
  A Rust implementation of CPace, a balanced PAKE.
  ☆25Updated 9 months ago
• rozbb / dudect-bencher
  An implementation of the DudeCT constant-time function tester
  ☆21Updated last year
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆27Updated last month
• RustCrypto / CSRNGs
  Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust
  ☆10Updated 7 months ago
• matklad / paxosnotes
  ☆21Updated last year
• bytecodealliance / subscribe-to-label-action
  A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied
  ☆11Updated last year
• jedisct1 / rust-libhydrogen
  Libhydrogen bindings for Rust.
  ☆16Updated 9 months ago
• trailofbits / dylint-template
  "Blank slate" Dylint library
  ☆10Updated 2 years ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆58Updated 4 years ago
• yurydelendik / wasm-dwarf
  Reading DWARF information from wasm files.
  ☆19Updated 6 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆35Updated 3 years ago
• RustSec / rustsec-crate
  ☆30Updated this week
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆44Updated last month
• roosmaa / bolos-rs
  3rd party BOLOS SDK for Rust
  ☆23Updated 6 years ago
• jedisct1 / rust-xoodyak
  Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.
  ☆29Updated 6 months ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆25Updated last month
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆79Updated last year