Research Projects

Formal Specification for Secured Software System

Duration: 2017-2020
Project type: International Call India/Italy
Area: Security and Semantics


SHS
Security HorizonS

Duration: 2013 – 2016
Project type: National (MIUR – PRIN)
Area: Security and Semantics


CINA
Compositionality, Interaction, Negotiation and Autonomicty

Duration: 2013 – 2016
Project type: National (MIUR – PRIN)
Area: Security and Semantics


IPODS
Interacting Processes in Open-ended Distributed Systems

Duration: 2010 – 2012
Project type: National (MIUR – PRIN)
Area: Security and Semantics


SOFT
Software Oriented Formal Techniques

Duration:  2009 – 2011
Project type: National (MIUR – PRIN)
Area: Security


TESLA
Techniques for Enforcing Security in Languages and Applications

Duration: 2007 – 2010
Project type: Regional
Area: Security


LOFD
Logical Foundations of Distributed Systems and Mobile Code

Duration: 2006 – 2008
Project type: National (MIUR – PRIN)
Area: Security and Semantics

 

Individual research grants

  • Security of New Generation Infrastructures. Regione Veneto. Research Fellowship: 2010 – 2011.
  • Analysis and Re-engineering  of Legacy Software.  Regione Veneto. Research Fellowship: 2009 – 2010.
  • Study and Implementation of Formal Models for the Analysis of Ad-hoc Wiresless Networks.  MIUR.  PhD Scholarship 2010 – 2012