Conference & Workshop Papers - Informal Proceedings
Abstract in Proceedings
- Silvia Bonomi, Ilaria Matteucci:
Introduction to ReSA4CI 2016. DSN Workshops 2016: 136
- Ilaria Matteucci, Paolo Mori, Marinella Petrocchi:
1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and Security (TELERISE 2015). ICSE (2) 2015: 1015-1016
- Ilaria Matteucci, Paolo Mori, Marinella Petrocchi:
1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, TELERISE 2015, Florence, Italy, May 18, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7097-4
- S. Bonomi, I. Matteucci. Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014). SAFECOMP Workshops 2014: 301-303
Technical Reports
- Fabio Del Bene, Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra.
Risk Analysis of Android Applications: A Multi-Criteria and Usable Approach. TR-04-2015.
- Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Antonia Bertolino, Antonello Calabro', Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti. Secure Software Engineering for Connected Vehicles: A Research Agenda. 2015
-
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Semiring-base Specification Approaches for Quantitative Security. TR-08-2015.
- R. Conti, I. Matteucci, P. Mori, and M. Petrocchi. An Expertise-driven Authoring Tool of
Privacy Policies for e-Health. TR IIT-02/2014.
- V. Ciancia, F. Martinelli, I. Matteucci, and C. Morisset. Quantitative evaluation of enforcement
strategies. TR IIT-04/2013
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
A Multi-Criteria-Based Evaluation of Android Applications. TR IIT-13/2012
- Marco Casassa Mont, Ilaria Matteucci, Marinella Petrocchi, and Marco Luca Sbodio. Enabling Data Sharing in the Cloud. Tech. Rep. HP Labs. HPL-2012-22.
- M.Colombo, F. Martinelli, I. Matteucci e M. Petrocchi. Analysis of Data Sharing
Agreements Automated verification and WS implementation. Rapporto tecnico IIT-TR-14/2010.
- F. Martinelli e Ilaria Matteucci. Action Refinement for Security Properties Enforcement. Rapporto tecnico IIT TR-011/2010.
- R. Gorrieri, F. Martinelli e Ilaria Matteucci. Specification and Analysis of Information Flow Properties for Distributed Systems. Rapporto tecnico IIT TR-012/2010.
- F. Martinelli e Ilaria Matteucci. A framework for automatic security controller generation. Rapporto tecnico IIT TR-03/2009.
- F. Martinelli e Ilaria Matteucci. A framework for the modelling and synthesis of
security automata based on process algebras. Rapporto tecnico IIT TR-04/2007.
- F. Martinelli e Ilaria Matteucci. Model and Synthesis of Security Automata. Rapporto tecnico IIT-CNR 2006-TR-04.
- F. Martinelli e Ilaria Matteucci. Partial model checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties. Rapporto tecnico 2005-TR-07.
