Home Advanced Search

Advanced Search - Page 1

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
  • PDF
  • English
  • Year: 1995
  • Author: Joshua D. Guttman, John D. Ramsdell (auth.), Joshua D. Guttman, Mitchell Wand (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Topics in Cryptology – CT-RSA 2005: The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Cynthia Dwork (auth.), Alfred Menezes (eds.)
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Joshua D. Guttman (auth.), Bernhard Steffen, Giorgio Levi (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.)
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
  • DJVU
  • English
  • Year: 1982
  • Author: Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)
search