katzenpost / mixnet_uprising
repository for tracking open tasks
☆18Updated 7 years ago
Alternatives and similar repositories for mixnet_uprising:
Users that are interested in mixnet_uprising are comparing it to the libraries listed below
- specification and design documents☆54Updated 2 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Updated 10 years ago
- library for implementing the server side of the mix network: mixes and providers☆26Updated 2 years ago
- Mix Network Bibliography☆15Updated 5 years ago
- Core components common to clients and servers.☆40Updated last year
- Secure multiparty messaging (kindof)☆21Updated 8 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆13Updated 7 years ago
- katzenpost mix network encrypted messaging client library☆43Updated 2 years ago
- Delicious Onion Service Wraps.☆23Updated 9 years ago
- a Private Publish Subscribe System☆50Updated 11 months ago
- Generic anonymous routing protocol framework agnostic to encryption algorithm and transport layer☆15Updated 6 years ago
- DEPRECATED: A C++ Elligator2 implementation☆15Updated 4 years ago
- An hash-chain with efficient O(1) append and O(logN) proof.☆14Updated 6 years ago
- Regenerable ed25519 keys for OpenSSH and OpenPGP.☆36Updated 5 years ago
- reading lists☆31Updated 6 years ago
- axolotl based on libsodium☆22Updated 8 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 4 years ago
- A user-first approach to threat modeling.☆16Updated 5 years ago
- paxrat is a utility to set PaX flags on a set of binaries.☆34Updated 6 years ago
- PriFi, a low-latency, local-area anonymous communication network.☆48Updated last year
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆17Updated 3 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms☆35Updated 4 years ago
- Deterministic build environment for Zcash☆19Updated 6 months ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- a CCA-secure module-lattice-based KEM☆16Updated 6 years ago
- Authenticated encryption scheme prover/synthesizer☆15Updated 2 years ago
- The Onion Name System - networking protocols☆17Updated 8 years ago
- ☆10Updated 6 years ago