Cas Cremers profile picture

Cas Cremers

Is this your author profile? Create an account to customize it!

Stand Alone

Operational Semantics and Verification of Security Protocols
Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
Operational Semantics and Verification of Security Protocols
Security Standardisation Research
Modeling and Analyzing Security Protocols with Tamarin
Modeling and Analyzing Security Protocols with Tamarin A Comprehensive Guide