ITA | ENG | Login

Home Dati Personali Pubblicazioni

My research interests are:

  • Decision procedures: building, combining, integrating, certifying, Satisfiability Modulo Theories (SMT) solvers
  • Authorization aspects in security-sensitive services and applications
  • Access control logic and enforcement of access control and authorization policies in distributed systems
  • Automated Theorem Proving: rewriting, instantiation-based methods
  • Logic-based Program Verification
  • Model checking for infinite state systems


Projects I am currently involved in:

SPaCIoS (Secure Provision and Consumption in the Internet of Services) - Research assistant (from January, 01 2011 - until now)

  • Project no. 257876, FP7-ICT-2009-5, ICT-2009.1.4: Trustworthy ICT - 01/10/2010 - 30/09/2013

  • The main objective of the SPaCIoS project will be to lay the technological foundations for a new generation of analysers for automated security validation at service provision and consumption time, thereby significantly improving the security of the IoS (Internet of Services)

Projects I have been involved in:

AVANTSSAR (Automated VAlidation of Trust and Security of Service-Oriented Architectures) - Research assistant (from August, 01 2008 - December, 31 2010)

  • Project No. 216471, FP7-ICT-2007-1 - 01/01/2008 - 31/12/2010
  • AVANTSSAR proposes a rigorous technology for the formal specification and Automated VAlidatioN of Trust and Security of Service-oriented ARchitectures

    This technology will be automated into an integrated toolset, the AVANTSSAR Validation Platform, tuned on relevant industrial case studies.

Download Curriculum Vitae: CV.pdf