Massacci Fabio Università degli Studi di Trento

• Jan 05 – Full Professor, University of Trento Italy
  
• Sep. 01 – Dec 04, - Associate Professor, University of Trento - Italy,
  
• Jun. 00 - Dec. 00 - Visiting Researcher - IRIT - CNRS, Toulouse – France
  
• Mar 99- Habilitation as United Nations Functionnarie – Level P2
  
• Feb 99 – Aug.01 - Assistant Professor, University of Siena - Italy
  
• Jan. 98 – Feb. 99, Postdoctoral Fellow, CNR, Rome, Italy
  
• Nov. 97 – Dec 99, Research Associate on project by ASI, Univ. of Roma I "La Sapienza"
  
• Feb. 96 - Feb. 97, Visiting Student, Computer Laboratory, Univ. of Cambridge
  

• Nov. 03 - Habilitation as Full Professor
  
• Nov. 94 - Jun 98 - Univ. of Rome I "La Sapienza", PhD in Computer Science and Engineering
  
• Mar. 95 - Ordine degli Ingegneri - Chartered Engineer
  
• Nov. 85 - Nov. 93 - Univ. of Rome "La Sapienza", M.Eng. in Computer Engineering
  

• Sep. 2001 - Intelligenza Artificiale" prize by the Italian Association of Artificial Intelligence (AI*IA) for young researchers in AI under 35
  
• Feb. 99 Postdoctoral Fellowship (for Italy), CNR
  
• Dec. 97 Postdoctoral Fellowship (for Italy), CNR
  
• Jan. 99 Postdoctoral Visiting Fellowship (for visiting CNRS-FR), CNR
  
• Mar. 00 Postdoctoral Visiting Fellowship (for visiting CNRS-FR), CNR
  
• Oct. 99 Short-Term Visiting Fellowship (for visiting Univ. Koblenz-DE), CNR
  

Fabio Massacci main research interests are in the field of Automated Reasoning and Formal Methods, Security Engineering and Verification, Security and Trust Management for Autonomic Systems.

RESEARCH GRANTS

• EU-FP7-IST-IP MASTER 2008-2010 - Managing Security and Trust for Services (European Scientific Coordinator) - funding 900K€
  
• EU-FP6- IST-STREP S3MS 2006-08 –Security of Software and Services for Mobile Systems (european Coordinator) -funding 2.4M€
  
• EU-FP6- IST-IP SERENITY 2006-08 –Security and Dependability Engineering - funding 586K€
  
• PAT-FU 2004-2007 - Modelling Security and Trust Relationships within Organizations - funding 81K€
  
• MIUR-FIRB 2004-06 - Automatic Verification of Internet Security Protocols - funding 92K€
  
• ASI-DOVES 2003 - On-board Autonomy: a platform for the Develop. Of VErified Software - funding 29K€
  

ALUMNI/DOCTORAL STUDENTS:

• Hristo Koshutanski on interactive access control. [Graduated - Now Marie Curie Fellow at the University of Malaga.]
  
• Nicola Zannone on Security Requirements Engineering (jointly with John Mylopoulos). [Graduated - Now at Univ. of Toronto.]
  

  
  

• Nataliya Rassadko on XML Security (jointly withG. Kuper)
  
• Artiom Evtiukhin on Security Engineering and
  Quality of Protection
  
• Katsiarina Naliuka on mobile code security
  
• Ida SR Siahaan on automata modulo theory for mobile code and sensor networks.
  
• Hugo Lopez on web service security and process algebras.
  Natalia Bielova on Security Compliance for SOC.
  

POST-DOCTORAL/RESEARCH FELLOWS

• Ayda Saidane from LAAS-CNRS working on SERENITY.
  
• Nicola Dragoni from University of Bologna working on S3MS.
  

SCIENTIFIC ADVISOR/PROJECT REVIEWER:

• 2004 – present, SINTEF, Norway, visiting guest scientist for DIGIT Centre of Excellence
  
• 2005 - present, Ministry of Industry (MAP) - Industrial research and develop. projects evaluation
  
• 2006 – EU INTAS - reviewer
  
• 2006 - CNRS (Franch National Research Council) and French Foreign Affairs Ministry – reviewer
  
• 2006-present - NWO (Dutch Research Council) – reviewer
  
• 2006-present – MAP (Ministry of Industry) – reviewer
  

EDITORIAL ACTIVITY

• Associate Editor: JANCL (Taylor&Francis)
  
• Conference Chair: IJCAR’01, iTrust’06
  
• Programme Committee chair of QoP’05 (Springer), QoP’06 (ACM)
  
• Programme Committee of AAAI’98 (MK), CADE’02-04 (Springer), ER’04-05 (Springer), ESORICS'07, i-TRUST’04-05-06 (Springer), ICICS’04 (Springer), ICSOC’03-04 (Springer), ICISS’05-06 (Springer), IEEE CSFW’03 (IEEE), IEEE SecureComm’05-06-07 (IEEE), TABLEAUX’98-99-02-03 (Springer), TrustBus’06 (Springer), WPES'07 (ACM)
  

He has been member for 4 years of the European Executive of Service Civil internazionale (International NGO with consultive status at UNESCO and Council of europe and member of the European Youth Forum), he has also been European Treasurer since 1991 till 1994.
he has been national treasurer of ICS (Consorzio Italiano di Solidarietà) in 1994.

Fabio Massacci main research interests are in the field of Automated Reasoning and Formal Methods, Security Engineering and Verification, Security and Trust Management for Autonomic Systems.

Member of the ACM, IEEE and Chartered engineer.

Has been invited speaker at the security session of MFPS, FCS and Verify-02 ed has kept an invited tutorial at TABLEAUX-98, IJCAI-03, IEEE RE-06 (jointly with N. Zannone and J. Mylopoulos), at ESSLI-05 (with H. koshutanski) at the International School on Foundations of Security Analysis and Design FOSAD-01 and 05.

• curriculum-Short-2008-June 120KB