Security and Trust Management 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26–27, 2019, Proceedings Mauw Sjouke Heftet / 2019 / Engelsk
Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers Liu Peng Heftet / 2018 / Engelsk
Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers Mauw Sjouke Heftet / 2016 / Engelsk
Trust Management X 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings Habib Sheikh Mahbub Heftet / 2018 / Engelsk
Security Protocols and Threat Models Security and Privacy via The Applied π-Calculus Gil-Pons, Reynaldo Innbundet / 2025 / Engelsk
