https://verifpal.com/
Verifpal: Cryptographic Protocol Analysis for Students and Engineers
Verifpal is free and open source software for the analysis and verification of cryptographic protocols. It uses a new, simple language for modeling protocols,...
cryptographic protocolfor studentsanalysisengineers
https://www.reclaimprotocol.org/
Reclaim Protocol - Cryptographic Verification for Identity, Education, Employment & Travel
The world's first global verification protocol using zero-knowledge proofs. Verify student enrollment, employment, travel loyalty status, and identity from...
reclaimprotocolcryptographicverificationidentity