9 lines
387 B
Markdown
9 lines
387 B
Markdown
# 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?
|