Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin

Di Long Li, Jim de Groot, Alwen Tiu

Automated security protocol verifiers such as ProVerif and Tamarin have been increasingly applied to verify large scale complex real-world protocols. While their ability to automat…