IIT Home Page CNR Home Page

Ilaria Matteucci

Foto di Ilaria Matteucci
n same page needs two click to run
Position: Ricercatore
Email: ilaria.matteucci@iit.cnr.it
Phone: +39 050 315 3507
Mobile:
Fax: +39 050 315 2593
Building: B
Entrance: 7-18
Floor: 1
Room: B67a
URL: Homepage

Matteucci Ilaria, 09-2016

Pubblications from 01/01/2016


Contribution in the act of congress
Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
Analysis of Data Sharing Agreements
2017, International Conference on Information Systems Security and Privacy (ICISSP 2017)
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
A Quantitative Partial Model-Checking Function and Its Optimisation
2017, LPAR-21
Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino
Concurrent History-based Usage Control Policies
2017, MODELSWARD 2017
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci and Francesco Santini
A Formal and Run-time Framework for the Adaptation of Local Behaviours to Match a Global Property
2016, Formal Aspects of Component Software - The 13th International Conference
Jose Fran. Ruiz, Marinella Petrocchi, Ilaria Matteucci, Gianpiero Costantino, Carmela Gambardella, Mirko Manea, and Anil Ozdeniz
A Lifecycle for Data Sharing Agreements: How it works out
2016, Annual Privacy Forum (APF)
Andrea Bondavalli, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Ilaria Matteucci, Nicola Nostro, Francesco Santini
A multi-criteria ranking of security countermeasures.
2016, SAC 2016
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Automated adaptation via quantitative partial model checking.
2016, SAC 2016
Ilaria Matteucci, Francesco Santini
Decomposing Global Quantitative Properties into Local Ones.
2016, QASA@ESORICS 2016
Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino
Enforcement of U-XACML History-Based Usage Control Policy
2016, STM 2016 (ESORICS workshop)
Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
Exploiting Vehicles' Reputation to Mitigate DoS Attack.
2016, AMARETTO@MODELSWARD
Contribution in the magazine
Cesario Di Sarno, Alessia Garofalo, Ilaria Matteucci, Marco Vallini
A novel security information and event management system for enhancing cyber security in a hydroelectric dam.
2016, International Journal of Critical Infrastructure Protection
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
Risk analysis of Android applications: A user-centric solution
2016, Future Generation Computer Systems
Another type
Carmela Gambardella, Ilaria Matteucci, Marinella Petrocchi
Data Sharing Agreements: How to Glue Definition, Analysis and Mapping Together.
2016

Pubblications to 12/31/2015


Book
Marina Egea, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
Definition of Data Sharing Agreements (The case of Spanish Data Protection Law)
2015
Jose A. Martìn, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, and Mathieu Turuani
On the Synthesis of Secure Services Composition
2014
Alessio Lunardelli, Riccardo Conti, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
Preserving Data Privacy in eHealth
2014
Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand
A Design Phase for Data Sharing Agreements
2011
Gabriele Costa, Valerie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
Security and Trust
2011
ISI journal
Marco Casassa-Mont, Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio
Towards Safer Information Sharing in the Cloud
2015, International Journal of Information Security
Gabriele Costa, Ilaria Matteucci
Gate automata-driven run-time enforcement
2012, Computers & Mathematics with Applications
P. Greci, F. Martinelli, I. Matteucci
A Framework for Contract-Policy Matching based on Symbolic Simulations for securing Mobile Device Application
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
F. Martinelli, I. Matteucci
Synthesis of Web Services Orchestrators in a Timed Setting
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0), Web Services and Formal Methods 2007
I. Matteucci
A Tool for the Synthesis of Controller Programs.
2007, LECTURE NOTES IN COMPUTER SCIENCE (00538S0), Formal Aspects in Security and Trust
non-ISI journal
V. Ciancia, J.A. Martin, F. Martinelli, I. Matteucci, M. Petrocchi, E. Pimentel
Automated synthesis and ranking of secure BPMN orchestrators
2014, International Journal of Secure Software Engineering JISSE
Gabriele Costa, Roberto Mandati, Fabio Martinelli, Ilaria Matteucci, Artsiom Yautsiukhin
Contract-based Approaches for Securing Web Services
2013, IGI Global
Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Nicola Dragoni,Valerie Issarny, Rachid Saadi, Fabio Massacci
Security-by-Contract-with-Trust for Mobile Devices
2011, Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications (JOWUA)
Fabio Martinelli, Ilaria Matteucci
A framework for automatic generation of security controller
2010, Software Testing, Verification & Reliability (STVR) Journal
Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci
Towards Information Flow Properties for Distributed Systems
2009, Electr. Notes Theor. Comput. Sci.
F. Martinelli, I. Matteucci
An Approach for the Specification, Verification and Synthesis of Secure Systems
2007, Electronic Notes Theoretical Computer Science
F.Martinelli, I. Matteucci
Through Modeling to Synthesis of Security Automata
2007, Electronic Notes Theoretical Computer Science
Conference article
Fabio Martinelli, Ilaria Matteucci
Idea: Action Refinement for Security Properties Enforcement
2009, ESSoS'09 - Engineering Secure Software and Systems. First International Symposium on Engineering Secure Software and Systems
Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
Controlling Usage in Business Process Workflows through Fine-Grained Security Policies
2008, TrustBus 2008
F. Martinelli, I. Matteucci
Synthesis of Local Controller Programs for Enforcing Global Security Properties
2008, The Third International Conference on Availability, Reliability and Security, ARES 2008
Conference abstract
Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and Security (TELERISE 2015) - ICSE 2015
2015, 1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and Security (TELERISE 2015)
Report
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
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
2015
Riccardo Conti, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
An Expertise-driven Authoring Tool of Privacy Policies for e-Health
2014
Riccardo Conti, Emanuel Marzini, Angelo Spognardi, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
Maturity assessment of Wikipedia medical articles
2014
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset
Quantitative evaluation of enforcement strategies
2013
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
A Multi-Criteria-Based Evaluation of Android Applications
2012
Vincenzo Ciancia, J. Antonio Martin, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
A tool for the synthesis of cryptographic orchestrators
2012
Marco Casassa Mont, Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio
Enabling Data Sharing in the Cloud
2012