Program Chairs
- NEW!! Co-Chair of the 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms co-located with SAFECOMP 2018, that will be held in Västerås, Sweden, September, 18th 2018
- NEW!! Co-Chair of the 4th International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity - TELERISE workshop co-located with ADBIS 2018, that will be held in Budapest, Hungary, September, 2-5 2018.
- Co-Chair of the 3rd International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity - TELERISE workshop co-located with SAFECOMP 2017, that will be held in Trento, Italy, September, 12th 2017.
- Co-Chair of the 3rd International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection - ReSA4CI workshop co-located with DSN2016, that will be held in Toulouse, France, June 28th 2016.
- Co-Chair of the 2nd International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity - TELERISE workshop co-located with ICWE 2016, that will be held in Lugano, Switzerland, June, 9th 2016.
- Co-Chair of the 2nd International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection - ReSA4CI workshop co-located with SAFECOMP 2015, that will be held in Delft, the Netherlands, September, 22nd 2015.
- Co-Chair of the 1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity - TELERISE workshop co-located with ICSE 2015, that will be held in Florence, Italy, May, 18th 2015.
- Co-Chair of the 3rd International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection - ReSA4CI workshop co-located with SAFECOMP2014, that will be held in Florence, Italy, September, 9th 2014.
Program Committee and Organization
- Program Committee member of the 2nd International Conference on Information Systems
Security and Privacy, ICISSP 2017, 19-21 February, 2017, Porto, Portugal.
- Program Committee member of the 5th International Workshop on Quantitative Aspects of
Security Assurance, QASA, 26-27 September 2016, Heraklion, Crete.
- Program Committee member of the 2nd International Conference on Information Systems
Security and Privacy, ICISSP 2016, 19-21 February, 2015, Roma, Italy.
- Program Committee member of the 9th International Symposium on Foundations & Practice
of Security, FPS 2016, October 24-26 2016, Quebec City, Quebec, Canada.
- Program Committee member of the 1st International Workshop on Big Data Analytics for Cyber
Security, BDA4CS, 2016, Tongji University, Shanghai, China, 6-9 December, 2016.
- Program Committee member of the 5th IEEE International Workshop on Software Certification
WoSoCer2015, NOVEMBER 25, 2015, GAITHERSBURG, MD, USA
- Program Committee member of the 1st International Conference on Information Systems
Security and Privacy, ICISSP 2015, 9-11 febbraio, 2015, ESEO, Angers, Loire Valley, France.
- Program Committee member of the Essos Doctoral Symposium 2014, Munich, Germany, February 26, 2014.
- Local organizer of QASA 2012
International Workshop on Quantitative Aspects in Security Assurance
Affiliated workshop with ESORICS, Pisa, Italy - September 14, 2012.
- Program Committee member of the Joint workshop on Intelligent Methods for Software System Engineering
August 28, 2012 Montpellier, France
- Organizer Commitee Chair of the Workshop FAST 2011, Leuven, Belgium, September, 15-16 September 2011 co-located with ESORICS 2011.
- Program Committee member of the IV edition of the workshop CAMPUS 2011: Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services, Reykjavik, Iceland,within DisCoTec'11, June, 9 2011.
- Program Committee member of the first international workshop internazionale on Eternal System (EternalS'11) Budapest, Hungary, May, 3, 2011
- Local Organizer of the workshop FAST2010 hosted in Pisa, 16-17 September 2010. It is a co-located event with SEFM 2010.
- PC member of the third workshop CAMPUS 2010: Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services
Amsterdam, The Netherlands. June 2010.
- Local Organizer of the workshop iTrust 2006. Pisa,
Italia, 16-19 Maggio 2006.
- Local organizer of the workshop Fast 2005: Formal Aspects in Security and
Trust. Newcastle upon Tyne,UK, 18-19 Luglio 2005.
Lectures
- "Safety and Privacy in Intelligent Transport Systems May", 21st, 2018, Univeristy of Catania.
- Secure Service Composition within the Spring Ph.D. School on Trsutworthy & Secure Service Composition, May 27th-May 21st, Malaga, Spain, 2013.
- Security & Trust within SFM-11:CONNECT The 11th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Connectors for Eternal Networked Software Systems. June 13th-18th, Bertinoro, Italy, 2011