Sjouke Mauw profile picture

Sjouke Mauw

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

Stand Alone

Semantics And Verification Of Security Protocols
Operational Semantics and Verification of Security Protocols
CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
Graphical Models for Security
Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Security and Trust Management