Research Projects
Security Horizons
- National PRIN project [2013-2016]
SPaCIoS
: Secure Provision and Consumption in the Internet of Services - EU project [2011-2013]
AVANTSSAR
: Automated ValidatioN of Trust and Security of Service-oriented ARchitectures - EU project [2009-2011]
CooperInt 2009
International Cooperation Project - funded by University of Verona
SOFT
(Security-Oriented Formal Techniques) - National PRIN project [2009-2010]
Verifica Formale tramite Interpretazione Astratta
- National project - 12 months [2005]
Verifica e Collaudo Formale del Software
- National project - 12 months [2004]
Last modified: Thu Mar 19 15:47:02 CET 2009