Cryptocat
Top View
- COMSEC Beyond Encryption
- Lightweight Low-Latency Anonymous Chat John P
- The Post-Quantum Signal Protocol Secure Chat in a Quantum World
- Nadim Kobeissi — Karthikeyan Bhargavan — Bruno Blanchet Presented by Nadim Kobeissi
- On Privacy Protection in the Internet Surveillance Era
- Chatting Off the Record with OTR
- How Much Tinfoil?
- How Secure Is Textsecure?
- Mimesis Aegis: a Mimicry Privacy Shield– a System's Approach To
- How to Protect Your Privacy in Internet
- Cryptocloak Application - Main Idea, an Overview and Improvement Proposal
- Crypto-Party — Crypto-Québec
- Formal Verification for Real-World Cryptographic Protocols and Implementations Nadim Kobeissi
- Towards Formal Verification in Cryptographic Web Applications a Three Year Evolution Nadim Kobeissi • PROSECCO: Programming Securely with Cryptography
- Keeping Kids Safe
- Constant-Time Webassembly
- Can Johnny Build a Protocol? Co-Ordinating Developer and User Intentions for Privacy-Enhanced Secure Messaging Protocols
- Download (164Kb)