Discover projects, groups and snippets. Share your projects with others
Cryptographic protocol analysis for real-world protocols. https://verifpal.com
Online engine for reasoning about the Noise Protocol Framework. https://noiseexplorer.com
Verifpal IDE for Visual Studio Code. https://marketplace.visualstudio.com/items?itemName=symbolicsoft.verifpal
Go implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM
Verifpal extension for Panic Software's Nova editor.