david415 / reading_lists
reading lists
☆31Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for reading_lists
- repository for tracking open tasks☆18Updated 6 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- specification and design documents☆53Updated last year
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 4 years ago
- Mirror of all PDFs from the IACR's eprint☆46Updated 10 months ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Updated 9 years ago
- A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group☆13Updated 3 years ago
- Mirror of freehaven's anonymous research bibliography☆13Updated 9 years ago
- Mix Network Bibliography☆15Updated 4 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 3 years ago
- ☆10Updated 6 years ago
- A user-first approach to threat modeling.☆15Updated 5 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- Secure multiparty messaging (kindof)☆21Updated 8 years ago
- System tuning recommendations for running cryptographic applications☆23Updated 8 years ago
- ☆29Updated 10 years ago
- An implementation of Noise in Go☆42Updated 6 years ago
- a web page / paper☆18Updated 7 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 8 years ago
- QubesOS dom0 automation in Python☆12Updated 7 years ago
- Towards an IETF RFC for XChaCha20-Poly1305☆28Updated 4 years ago
- CONIKS design documents☆16Updated 8 years ago
- IP-format-preserving encryption, with a dedicated 4-byte cipher☆101Updated 3 years ago
- The secure messaging summit information☆20Updated 4 years ago
- library for implementing the server side of the mix network: mixes and providers☆26Updated last year
- The anonymous credentials zoo☆16Updated 3 years ago
- A warrant canary system☆30Updated 6 years ago