- miniLock: file encryption that does more with less.
- Cryptocat: one of the most popular encrypted chat apps.
- Bluenote: notes, tasks and passwords organizer for Mac.
- Cours de Cryptographie: 16-session course in French.
- 🏆FLEXTLS: A Tool for Testing TLS Implementations (with B. Beurdouche, A. Delignat-Lavaud, A. Pironti, K. Bhargavan), in 9th USENIX Workshop on Offensive Technologies, 2015.