dedis / d-voting
📧 E-Voting platform based on the Dela blockchain
☆18Updated last month
Related projects ⓘ
Alternatives and complementary repositories for d-voting
- Rust source code for the FrodoPIR Private Information Retrieval scheme.☆60Updated 10 months ago
- Async Mesh Network Protocol for Extreme Communication -- Innovative, Resilient, and Decentralized☆166Updated last month
- Please see https://github.com/hacspec/hax☆243Updated 9 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆319Updated last week
- ☆13Updated 11 months ago
- The formally verified crypto library for Rust☆88Updated this week
- Unikraft Applications & Examples Catalog☆39Updated this week
- Source Code Transparency☆11Updated last year
- ❤️🪵 Radicle Heartwood Protocol & Stack☆141Updated 6 months ago
- Katzenpost is a free and open source software project dedicated to researching and developing mix network protocols☆93Updated this week
- Deployments of fancy cryptography☆125Updated 3 weeks ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆179Updated this week
- Public Key Addressable Resource Records (sovereign TLDs)☆199Updated this week
- All the things a panda needs☆193Updated this week
- Language for high-assurance and high-speed cryptography☆270Updated this week
- Formal Analysis of the PQXDH Protocol☆23Updated 5 months ago
- Ressources incontournables du passé et du présent et les personnes du présent à suivre et qui questionnent l'apport de la technologie, le…☆15Updated last year
- MLS protocol☆232Updated 2 months ago
- SDK for private data access, built on homomorphic encryption.☆337Updated 8 months ago
- ☆25Updated last week
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆25Updated 5 months ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆74Updated 3 years ago
- Rust bindings for liboqs☆120Updated 3 months ago
- Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios☆132Updated this week
- Cryptographic protocol analysis for real-world protocols.☆44Updated 2 months ago
- Community Cryptography Test Vectors☆64Updated 3 weeks ago
- Crypto library☆52Updated last month
- Exploration of NIST post-quantum signatures on-ramp candidates☆23Updated 2 weeks ago
- Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange☆16Updated 2 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆419Updated this week