- Peerio: cloud productivity suite for teams.
- 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.
- npwd: Command-line stateless password manager.
- 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. (to appear)
I am passionate about a type of electronic music. Examples: