cvrac / graph-shortest-paths
Efficient shortest path queries over large static/dynamic graphs
☆8Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for graph-shortest-paths
- Data-oblivious benchmarks.☆11Updated 5 years ago
- Master Thesis text, University of Athens☆9Updated 5 years ago
- Repository of GSOC 2017 GFOSS Project for improving Zeus.☆8Updated 7 years ago
- Μεμονωμένα Περιστατικά αστυνομικής βίας☆79Updated 3 years ago
- Diavgeia Redefined: Redefined functionality of Diavgeia using RDF and Blockchain (GSOC 2017 GFOSS Project).☆13Updated 6 years ago
- Crypto library☆52Updated last month
- CryptoBib Database for Developers☆40Updated last week
- CryptoBib Main Repository for Developers☆18Updated 3 months ago
- ☆10Updated 4 years ago
- Examples for EasyCrypt Lectures☆22Updated last month
- Prototype implementation of Prio, a system for the private computation of aggregate statistics.☆60Updated 6 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 4 months ago
- ☆18Updated 7 months ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆10Updated 2 months ago
- Teaching materials related to the Tamarin Prover☆63Updated 3 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆51Updated last year
- Experiments with Universal Composability in EasyCrypt☆32Updated this week
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated last year
- DEciding Equivalence Properties in SECurity protocols☆17Updated last year
- ☆42Updated this week
- A repository of tools for verifying constant-timeness☆12Updated 2 months ago
- LaTeX package for typesetting pseudocode and cryptographic games☆156Updated 11 months ago
- A Datalog compiler and library☆19Updated 3 years ago
- C implementation of the CLT13 multilinear map☆14Updated 5 years ago
- Submission of the LUOV signature scheme to the NIST PQC project☆9Updated 2 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆28Updated 3 months ago
- Optimized implementation of the Picnic signature scheme☆79Updated 2 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆25Updated 5 months ago
- HAL: A Library for Homomorphic Authentication☆19Updated 7 years ago