Position:	Ricercatore
Email:	ilaria [dot] matteucciiit [dot] cnr [dot] it
Phone:	+39 050 315 3507
Mobile:	+39 348 445 6575
Fax:	+39 050 315 2593
Building:	B
Entrance:	7-18
Floor:	1
Room:	B67a
URL:	Homepage

A-Z
A|B|C
D|E|F
G|H|I
K|L|M
N|P|R
S|T|V
Y
A-Z

Activities

Projects

Publications

Book

Gabriele Costa, Valerie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
Security and Trust
2011

ISI journal

Gabriele Costa, Ilaria Matteucci
Gate automata-driven run-time enforcement
2012, Computers & Mathematics with Applications

F.Martinelli and I. Matteucci
A framework for automatic generation of security controller
2010, STVR Journal

Fabio Martinelli, Ilaria Matteucci
Idea: Action Refinement for Security Properties Enforcement
2009, Lecture Notes in Computer Science

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

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)

Martinelli F., Matteucci I.
A framework for automatic generation of security controller
2010, Software Testing, Verification & Reliability (STVR) Journal

G. Costa e I. Matteucci
Enforcing Private Policy via Security-by-Contract. Special Issue “Identity and Privacy Management
2010, UPGRADE

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

I. Matteucci
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
2007, Electr. Notes Theor. Comput. Sci.

F.Martinelli, I. Matteucci
Through Modeling to Synthesis of Security Automata
2007, Electronic Notes Theoretical Computer Science

Conference article

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)

Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
A Multi-Criteria-based Evaluation of Android Applications
2012, InTrust 2012: 4th International Conference on Trusted Systems

Vincenzo Ciancia, J. Antonio Martin, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
A tool for the synthesis of cryptographic orchestrators
2012, Model Driven Security Workshop

Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
Prioritised Execution of Privacy Policies
2012, 7th International Workshop on Data Privacy Management (DPM2012)

Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand
A Design Phase for Data Sharing Agreements
2011, LNCS 7122: Proc. of Data Privacy Management 2011

Ilaria Matteucci, Paolo Mori, Marinella Petrocchi, Luca Wiegand
Controlled Data Sharing in e-Health
2011, IEEE STAST 2011, 1st Workshop on Socio-Technical Aspects in Security and Trust

Garbriele Costa, Ilaria Matteucci
Elective Temporal Logic
2011, QoSA-ISARCS '11

Fabio Martinelli, Ilaria Matteucci
Preserving Security Properties under Refinement
2011, The 7th International Workshop on Software Engineering for Secure Systems (SESS'11)

Garbriele Costa, Ilaria Matteucci
Trust-Driven Policy Enforcement through Gate Automata.
2011, Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2011,

I. Matteucci, M. Petrocchi, M.L. Sbodio
CNL4DSA: a controlled natural language for data sharing agreements
2010, ACM SAC 2010

• 1
• 2
• next ›
• last »

Report

Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
A Multi-Criteria-Based Evaluation of Android Applications
2012

Marco Casassa Mont, Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio
Enabling Data Sharing in the Cloud
2012

Martinelli F, Matteucci I
Action Refinement for Security Properties Enforcement
2010

Colombo M, Martinelli F, Matteucci I, Petrocchi M
Analysis of Data Sharing Agreements with Automated veri cation and WS implementation
2010

Fabio Martinelli, Ilaria Matteucci
A framework for automatic security controller generation
2009

Martinelli F., Matteucci I.
A framework for the modeling and synthesis of security automata based on process algebras
2007

F. Martinelli, I. Matteucci
Model and Synthesize Security Automata
2006

Martinelli F., Matteucci I.
Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties
2005

Presentations/Demos