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
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.)
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.)
SYRIZA: The Failure of the Populist Promise
  • PDF
  • English
  • Year: 2017
  • Author: Cas Mudde (auth.)
Informalisierung: Norbert Elias’ Zivilisationstheorie und Zivilisationsprozesse im 20. Jahrhundert
  • PDF
  • German
  • Year: 1999
  • Author: Cas Wouters (auth.)
Stereo Scene Flow for 3D Motion Analysis
  • PDF
  • English
  • Year: 2011
  • Author: Andreas Wedel, Daniel Cremers (auth.)
search