Python implementations for CryptoVerif – Python library and examples. No longer maintained.
Primary LanguagePythonOtherNOASSERTION