Discover projects, groups and snippets. Share your projects with others
Go implementation of the Kyber (version 2) post-quantum IND-CCA2 KEM
Online engine for reasoning about the Noise Protocol Framework. https://noiseexplorer.com
Piccolo is an AI that plays the Japanese Othello strategy game at a strong and competitive level. https://piccolo.click
Cryptographic protocol analysis for real-world protocols. https://verifpal.com
Verifpal extension for Panic Software's Nova editor.
Verifpal IDE for Visual Studio Code. https://marketplace.visualstudio.com/items?itemName=symbolicsoft.verifpal