# Labs - [x] Password Manager - [x] Secure Messenger - [x] [ZK Battleship](https://github.com/nategraf/oscw-zkvms-battleship) - [ ] [ProofFrog](https://prooffrog.github.io) - [ ] [Verifpal](https://verifpal.com) - [x] [ProVerif](https://proverif.inria.fr) or [Tamarin](https://tamarin-prover.com) - [ ] [CTFs](https://ctftime.org/tasks/?tags=crypto&hidden-tags=crypto) if we have time?