Home Advanced Search

Advanced Search - Page 1

Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Frank Piessens, Luca Viganò (eds.)
Engineering Secure Software and Systems: 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Frank Piessens, Juan Caballero, Nataliia Bielova (eds.)
Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Jan Jürjens, Frank Piessens, Nataliia Bielova (eds.)
Labelled Non-Classical Logics
  • PDF
  • English
  • Year: 2000
  • Author: Luca Viganò (auth.)
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)
  • PDF
  • English
  • Year: 2009
  • Author: Pierpaolo Degano, Luca Viganò
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)
Labelled deduction
  • DJVU
  • English
  • Year: 2000
  • Author: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)
Labelled Deduction
  • PDF
  • English
  • Year: 2000
  • Author: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.)
search