defuse / ictmLinks
A user-first approach to threat modeling.
☆18Updated 5 months ago
Alternatives and similar repositories for ictm
Users that are interested in ictm are comparing it to the libraries listed below
Sorting:
- secure messaging, file-transfer, and directory synchronization☆41Updated 8 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Mirror of freehaven's anonymous research bibliography☆14Updated 10 years ago
- MLS architecture☆74Updated 6 months ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 5 years ago
- repository for tracking open tasks☆18Updated 7 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 4 years ago
- Secure multiparty messaging (kindof)☆21Updated 9 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆29Updated 7 years ago
- A coding challenge to learn Rust☆14Updated 7 years ago
- Mix Network Bibliography☆15Updated 5 years ago
- A simple cryptosystem that provides provable plausibly deniable encryption.☆90Updated 6 years ago
- ☆10Updated 6 years ago
- Keyname format for public-key fingerprints☆22Updated 11 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Updated 5 years ago
- a Private Publish Subscribe System☆50Updated last year
- reading lists☆31Updated 6 years ago
- The anonymous credentials zoo☆16Updated 4 years ago
- free crypto audit☆31Updated 8 years ago
- misc stuff☆19Updated 8 years ago
- Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms☆36Updated 5 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆74Updated 7 years ago
- QubesOS dom0 automation in Python☆12Updated 8 years ago
- Module for Qubes OS to integrate Yubikey authentication through a USB VM☆19Updated 7 years ago
- axolotl based on libsodium☆22Updated 9 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- (Deprecated PoC) Innovative censorship evading technology based on p2p distributed caching network☆58Updated 9 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Updated 10 years ago
- PANORAMIX repo☆20Updated 2 years ago