GaPhil / algorithms
"Essential Information about Algorithms and Data Structures"
☆14Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for algorithms
- Shareable reference point for working with git.☆16Updated 6 years ago
- Submission of the LUOV signature scheme to the NIST PQC project☆9Updated 2 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆224Updated 3 years ago
- Rust wrapper for Obliv-C☆11Updated 5 years ago
- Oblivious transfer for multiparty computation☆36Updated 4 years ago
- Topochecker, a topological model checker☆19Updated 4 years ago
- Tamarin prover manual: source files☆24Updated 2 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆24Updated 5 months ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆74Updated 4 years ago
- Library of Coq proof automation☆15Updated 2 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆29Updated last week
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- Duet: A Language for Differential Privacy☆17Updated 2 years ago
- Examples for EasyCrypt Lectures☆22Updated last month
- Efficient techniques for mining LTL formulae over linear input traces☆19Updated last year
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- Library providing mathematical basics in Rust. The library is based on FLINT.☆20Updated this week
- Tool for automatically inferring inductive invariants of distributed protocols.☆13Updated 3 weeks ago
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 4 years ago
- SageMath library for constructing elliptic curves☆65Updated last year
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆160Updated 11 months ago
- A polymorphic interface for elliptic curve operations☆41Updated last year
- A foundational framework for modular cryptographic proofs in Coq☆56Updated last week
- ☆11Updated 7 years ago
- SAT Live! web site☆11Updated last month
- IC3PO: IC3 for Proving Protocol Properties☆25Updated 2 months ago
- Python code for the post Zero Knowledge Proofs — A Primer☆31Updated 4 years ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆50Updated 5 years ago
- SampCert : Verified Differential Privacy☆65Updated 2 months ago