Sjouke Mauw - Böcker

Security and Trust Management

15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26–27, 2019, Proceedings

Security Protocols and Threat Models

Security and Privacy via The Applied π-Calculus

Security and Trust Management

10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings

Graphical Models for Security

Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

Trust Management X

10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings

Graphical Models for Security

4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Trust Management X

10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings

CONCUR'99. Concurrency Theory

10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings

Public Key Infrastructure

5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008, Proceedings

Operational Semantics and Verification of Security Protocols