Home Advanced Search

Advanced Search - Page 1

Operational Semantics and Verification of Security Protocols
  • PDF
  • English
  • Year: 2012
  • Author: Cas Cremers, Sjouke Mauw (auth.)
Security and Trust Management: 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26–27, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Sjouke Mauw, Mauro Conti
Public Key Infrastructure: 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Peter Landrock (auth.), Stig F. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas (eds.)
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2018
  • Author: Peng Liu,Sjouke Mauw,Ketil Stolen (eds.)
Graphical Models for Security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Sjouke Mauw, Barbara Kordy, Sushil Jajodia (eds.)
Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks: Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Ton van Deursen, Sjouke Mauw, Saša Radomirović (auth.), Jose A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis (eds.)
Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks: Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Ton van Deursen, Sjouke Mauw, Saša Radomirović (auth.), Jose A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis (eds.)
Trust Management X: 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Sheikh Mahbub Habib, Julita Vassileva, Sjouke Mauw, Max Mühlhäuser (eds.)
search