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
Silvia Bonomi, Ilaria Matteucci
Introduction to ReSA4CI 2016.
2016, ReSA4CI 2016: The 3rd International Workshop on Reliability and Security Aspects for Critical Infrastructure
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
Stefania Gnesi, Ilaria Matteucci, Corrado Moiso, Paolo Mori, Marinella Petrocchi, Michele Vescovi
My Data, Your Data, Our Data: Managing Privacy Preferences in Multi-Subjects Personal Data.
2014, Annual Privacy Forum
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, and Andrea Bondavalli
On Security Countermeasures Ranking through Threat Analysis.
2014, Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR.
Alessio Lunardelli, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
A Prototype for Solving Conflicts in XACML-based e-Health Policies
2013, The 26th IEEE International Symposium on Computer-Based Medical Systems
Fabio Martinelli, Ilaria Matteucci
Automated Secure Composition of Cryptographic Services
2013, EUROPKI 2014
Vincenzo Ciancia, Fabio Martinelli, Jose Antonio Martin, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
Automated Synthesis and Ranking of Secure BPMN Orchestrators
2013, SecSE 2013
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach
2013, TrustCom/ISPA/IUCC 2013
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
Introducing probabilities in contract-based approaches for mobile application security
2013, SETOP 2013
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset
Quantitative Evaluation of Enforcement Strategies (Position Paper)
2013, FOUNDATIONS & PRACTICE OF SECURITY
Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
Remote Policy Enforcement for Trusted Application Execution in Mobile Environments
2013, InTrust 2013
Martinelli, Matteucci, Petrocchi, Wiegand
A formal support for collaborative data sharing
2012, 2nd IFIP Workshop on Security and Cognitive Informatics for Homeland Defense (SeCIHD 2012)
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