This website requires JavaScript.
Explore
Help
Sign in
nadim
/
appliedcryptography
SHA256
Watch
1
Fork
You've already forked appliedcryptography
0
Code
Wiki
Activity
main
appliedcryptography
/
assignments
/
labs
History
Download ZIP
Download TAR.GZ
Exact
Exact
Union
RegExp
Nadim Kobeissi
4b6498ede3
Migrate back to Git LFS
2025-06-26 12:19:00 +02:00
..
Makefile
Migrate back to Git LFS
2025-06-26 12:19:00 +02:00
password-manager.tex
Migrate back to Git LFS
2025-06-26 12:19:00 +02:00
proverif.tex
Migrate back to Git LFS
2025-06-26 12:19:00 +02:00
README.md
Migrate back to Git LFS
2025-06-26 12:19:00 +02:00
secure-messenger.tex
Migrate back to Git LFS
2025-06-26 12:19:00 +02:00
zk-battleship.tex
Migrate back to Git LFS
2025-06-26 12:19:00 +02:00
README.md
Labs
Password Manager
Secure Messenger
ZK Battleship
ProofFrog
Verifpal
ProVerif
or
Tamarin
CTFs
if we have time?