Alternatives and similar repositories for graph-shortest-paths

Users that are interested in graph-shortest-paths are comparing it to the libraries listed below

• cvrac / master-thesis
  Master Thesis text, University of Athens
  ☆9Updated 5 years ago
• formosa-crypto / libjade
  Crypto library
  ☆60Updated 3 weeks ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 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
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 2 years ago
• phayes / sidefuzz
  Fuzzer to automatically find side-channel (timing) vulnerabilities
  ☆120Updated 4 years ago
• trailofbits / siderophile
  Find the ideal fuzz targets in a Rust codebase
  ☆218Updated 2 weeks ago
• trailofbits / reverie
  An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
  ☆61Updated last year
• dwrensha / fuzz-rustc
  setup for fuzzing the Rust compiler
  ☆58Updated 4 months ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last month
• cryptobern / thetacrypt
  Design and implementation of a threshold-cryptography library
  ☆16Updated 6 months ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• TrustworthyComputing / helm
  HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables
  ☆11Updated 4 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• sine-fdn / garble-lang
  Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
  ☆48Updated this week
• momalab / csaw_esc_2017
  CSAW 2017 Embedded Security Challenge
  ☆12Updated 7 years ago
• divviup / libprio-rs
  Implementation of Prio in Rust.
  ☆112Updated this week
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆42Updated 4 years ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• Fraunhofer-AISEC / rabe
  rabe is an Attribute Based Encryption library, written in Rust
  ☆86Updated 5 months ago
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆136Updated 2 years ago
• NillionNetwork / ripple
  Ripple: Accelerating Programmable Bootstraps for FHE with Wavelet Approximations
  ☆11Updated last year
• eellak / gsoc17-diavgeia
  Diavgeia Redefined: Redefined functionality of Diavgeia using RDF and Blockchain (GSOC 2017 GFOSS Project).
  ☆13Updated 7 years ago
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆53Updated 7 years ago
• fmlab-iis / cryptoline
  ☆50Updated this week
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆67Updated 5 years ago
• pornin / cycle-counter
  ☆23Updated 8 months ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆81Updated 6 years ago