GitHub repository: symbolicsoft/verifpal
Primary language: Go
Created: 2021-04-07T08:36:56Z
Description: Cryptographic protocol analysis for real-world protocols.