Alternatives and similar repositories for electionguard-verifier

Users that are interested in electionguard-verifier are comparing it to the libraries listed below

• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last month
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆59Updated 4 years ago
• rust-secure-code / cargo-repro
  Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow
  ☆59Updated 4 years ago
• rust-crypto-labs / rust-sike
  ☆24Updated 3 years ago
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆81Updated 6 years ago
• iqlusioninc / veriform
  Security-oriented protobuf-like serialization format with "Merkleized" content hashing support
  ☆119Updated 2 years ago
• rozbb / strobe-rs
  A Rust implementation of the Strobe protocol framework
  ☆27Updated 4 months ago
• mimoo / cargo-dephell
  Cargo dephell analyzes the third-party dependencies of a Rust workspace
  ☆48Updated 2 years ago
• rust-secure-code / cargo-sandbox
  Perform Cargo builds inside of a sandboxed environment
  ☆52Updated 5 years ago
• asajeffrey / josephine
  JS affine
  ☆67Updated 5 years ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• bluejekyll / vermilionrc
  A safe and reliable process manager
  ☆43Updated 5 years ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆29Updated 3 months ago
• iqlusioninc / synchronicity
  Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus
  ☆91Updated 5 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆63Updated 2 years ago
• jedisct1 / rust-ed25519-compact
  Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.
  ☆128Updated 7 months ago
• fitzgen / intrusive_splay_tree
  An intrusive splay tree implementation that is no-std compatible and free from allocation and moves
  ☆67Updated 3 months ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• RustCrypto / PAKEs
  Password-Authenticated Key Agreement protocols
  ☆109Updated 3 months ago
• tomaka / futures-diagnose
  Wraps around a futures::Spawn and adds diagnostics to it
  ☆32Updated 5 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆55Updated last year
• cryptocorrosion / cryptocorrosion
  Performance crypto in pure Rust
  ☆53Updated 5 months ago
• Ericson2314 / rust-papers
  An enrichment of Rust's core language to support more advanced features
  ☆18Updated 8 years ago
• dtolnay / tt-call
  Token tree calling convention
  ☆80Updated 2 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• sebastianv89 / double-ratchet
  Pure Rust implementation of the Double Ratchet algorithm
  ☆69Updated 4 years ago
• blckngm / noise-rust
  Rust implementation of Noise
  ☆68Updated last year