Alternatives and similar repositories for electionguard-verifier

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

• rust-crypto-labs / rust-sike
  ☆24Updated 2 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• iqlusioninc / veriform
  Security-oriented protobuf-like serialization format with "Merkleized" content hashing support
  ☆118Updated 2 years ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆59Updated 4 years ago
• spacejam / model
  model testing sugar for testing interactions on structures over time
  ☆27Updated 5 years ago
• jedisct1 / rust-cpace
  A Rust implementation of CPace, a balanced PAKE.
  ☆25Updated last year
• rust-secure-code / cargo-repro
  Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow
  ☆59Updated 4 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last week
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆28Updated 5 years ago
• mimoo / cargo-dephell
  Cargo dephell analyzes the third-party dependencies of a Rust workspace
  ☆48Updated 2 years ago
• apasel422 / eclectic
  Experimental collection traits for Rust
  ☆28Updated 8 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated last year
• diem / whackadep
  Managing Rust dependencies via a dashboard
  ☆49Updated last year
• rust-secure-code / cargo-sandbox
  Perform Cargo builds inside of a sandboxed environment
  ☆52Updated 5 years ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆28Updated 2 months ago
• rozbb / strobe-rs
  A Rust implementation of the Strobe protocol framework
  ☆27Updated 3 months ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• tomaka / futures-diagnose
  Wraps around a futures::Spawn and adds diagnostics to it
  ☆32Updated 5 years ago
• bluejekyll / vermilionrc
  A safe and reliable process manager
  ☆43Updated 5 years ago
• jsanders / rust-bignum
  Bignum bindings for rust backed by GMP
  ☆16Updated 7 years ago
• boomshroom / dumb-exec
  A simple, dumb executor for rust futures in constrained environments.
  ☆18Updated 6 years ago
• iqlusioninc / synchronicity
  Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus
  ☆91Updated 4 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated 3 weeks ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated 2 years ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• sine-fdn / garble-lang
  Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
  ☆46Updated last week
• mystor / cargo-no-std-check
  Check that a crate builds without libstd
  ☆25Updated 4 years ago
• reem / rust-traverse
  Traversals in Rust
  ☆21Updated 8 years ago