dedis / d-votingLinks
📧 E-Voting platform based on the Dela blockchain
☆22Updated 2 weeks ago
Alternatives and similar repositories for d-voting
Users that are interested in d-voting are comparing it to the libraries listed below
Sorting:
- Cryptographic protocol analysis for real-world protocols.☆67Updated last month
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Updated 10 months ago
- Functional Quantum Programming☆19Updated 4 years ago
- ☆287Updated 3 months ago
- A 2-4h workshop on the Tamarin protocol verifier.☆22Updated 7 months ago
- Compositional Verification of Security Protocols☆30Updated last week
- A zero-knowledge Lean4 compiler and kernel☆142Updated last year
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆40Updated this week
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆61Updated this week
- Please see https://github.com/hacspec/hax☆245Updated last year
- Language for high-assurance and high-speed cryptography☆328Updated this week
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆451Updated 11 months ago
- *cheep cheep shriek caw*☆101Updated 2 years ago
- A tool for verifying game-hopping proofs☆15Updated 3 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated last month
- The Cryspen HACL Distribution☆20Updated 9 months ago
- OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".☆13Updated 2 years ago
- SampCert : Verified Differential Privacy☆89Updated 9 months ago
- Cryptographic routines for the Lean 4 language☆52Updated last year
- Sandwich is a multi-platform, multi-language, open-source library that provides a simple unified API for developers to use (multiple) cry…☆118Updated 7 months ago
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆31Updated 2 weeks ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆148Updated this week
- a zero-knowledge proof-carrying code platform for Lean 4☆61Updated this week
- Examples for EasyCrypt Lectures☆27Updated last week
- A collaborative environment for formal, interoperable, conceptual modeling☆146Updated this week
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- Formalization of the Rupert Problem for convex polyhedra.☆17Updated last month
- A date and time library for Lean 4☆14Updated 9 months ago