VerifPal

Automated proofs and code generation for secure protocols
Is freely licensed? ✅
Website https://noiseexplorer.com
Source https://source.symbolic.software/verifpal/verifpal
NLNet grant pages