Cryptographic protocol analysis for real-world protocols.
Primary LanguageGoGNU General Public License v3.0GPL-3.0