Security Standardisation Research: 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide