formal verification

Cryptographic protocol analysis for real-world protocols. https://verifpal.com

Online engine for reasoning about the Noise Protocol Framework. https://noiseexplorer.com