Conference & Workshop Papers
- 2017
- 2016
- Jose Fran. Ruiz, Marinella Petrocchi, Ilaria Matteucci, Gianpiero Costantino, Carmela Gambardella, Mirko Manea, Anil Ozdeniz:
A Lifecycle for Data Sharing Agreements: How it Works Out. APF 2016: 3-20.
- Ilaria Matteucci, Francesco Santini:
Decomposing Global Quantitative Properties into Local Ones. DPM/QASA@ESORICS 2016: 34-50.
- Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. FACS 2016: 134-152.
- Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci:
Exploiting Vehicles' Reputation to Mitigate DoS Attack. AMARETTO@MODELSWARD 2016: 75-82.
- Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli:
A multi-criteria ranking of security countermeasures. SAC 2016: 530-533.
- Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci:
Automated adaptation via quantitative partial model checking. SAC 2016: 1993-1996.
- Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino:
Enforcement of U-XACML History-Based Usage Control Policy. STM 2016: 64-81.
- Carmela Gambardella, Ilaria Matteucci, Marinella Petrocchi:
Data Sharing Agreements: How to Glue Definition, Analysis and Mapping Together. ERCIM News 2016(106) (2016)
- 2015
- 2014
- S. Gnesi, I. Matteucci, C. Moiso, P. Mori, M. Petrocchi, M. Vescovi. My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. APF 2014: 154-171.
- R. Conti, I. Matteucci, P. Mori, M. Petrocchi. An Expertise-Driven Authoring Tool for E-Health Data Policies. CBMS 2014: 82-87.
- R. Conti, E. Marzini, A. Spognardi, I. Matteucci, P. Mori, M. Petrocchi. Maturity Assessment of Wikipedia Medical Articles. CBMS 2014: 281-286.
- E. Marzini, A. Spognardi, I. Matteucci, P. Mori, M. Petrocchi, R. Conti. Improved Automatic Maturity Assessment of Wikipedia Medical Articles - (Short Paper). OTM Conferences 2014: 612-622.
- N. Nostro, I. Matteucci, A. Ceccarelli, F. Di Giandomenico, F. Martinelli, A. Bondavalli. On Security Countermeasures Ranking through Threat Analysis. SAFECOMP Workshops 2014: 243-254.
- A. Garofalo, C. Di Sarno, I. Matteucci, M. Vallini, V. Formicola. Closing the loop of SIEM analysis to Secure Critical Infrastructures. CoRR abs/1405.2995. (2014).
- 2013
- A. Lunardelli, I. Matteucci, P. Mori, and M. Petrocchi. A Prototype for Solving Conflicts in XACML-based e-Health Policies. The 26th IEEE International Symposium on Computer-Based Medical Systems, 2013.
- F. Martinelli and I. Matteucci. Automated Secure Composition of Cryptographic Services EUROPKI 2013.
- V. Ciancia, F. Martinelli, J. A.ntonio Martin, I. Matteucci, M. Petrocchi, and E. Pimentel. Automated Synthesis and Ranking of Secure BPMN Orchestrators. SecSE 2013.
- G. Dini, F. Martinelli, I. Matteucci, M. Petrocchi, A. Saracino, and D. Sgandurra. Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach 2013, TrustCom/ISPA/IUCC 2013.
- G. Dini, F. Martinelli, I. Matteucci, A. Saracino, and D. Sgandurra. Introducing probabilities in contract-based approaches for mobile application security. SETOP 2013.
- V. Ciancia, F. Martinelli, I. Matteucci, and C. Morrisset. Quantitative Evaluation of Enforcement Strategies (Position Paper) 2013, FOUNDATIONS & PRACTICE OF SECURITY.
- F. Martinelli, I. Matteucci, A. Saracino, and D. Sgandurra. Remote Policy Enforcement for Trusted Application Execution in Mobile Environments 2013, InTrust 2013.
- 2012
- F. Martinelli, I. Matteucci,M. Petrocchi,L. Wiegand. A formal support for collaborative data sharing 2012, 2nd IFIP Workshop on Security and Cognitive Informatics for Homeland Defense (SeCIHD 2012).
- G. Dini, F. Martinelli, I. Matteucci, M. Petrocchi, A. Saracino, D. Sgandurra. A Multi-Criteria-based Evaluation of Android Applications 2012, InTrust 2012: 4th International Conference on Trusted Systems
- V. Ciancia, J. A.ntonio Martin, F. Martinelli, I. Matteucci, M. Petrocchi, E. Pimentel. A tool for the synthesis of cryptographic orchestrators 2012, Model Driven Security Workshop.
- I. Matteucci, P. Mori, M. Petrocchi. Prioritised Execution of Privacy Policies 2012, 7th International Workshop on Data Privacy Management (DPM2012).
- Before 2011
- I. Matteucci, M. Petrocchi, M.L. Sbodio, and L. Wiegand. A Design Phase for Data Sharing Agreements. In Proc. of Workshop on Data Privacy Management DPM'11, LNCS 7122.
-
I. Matteucci, P. Mori, M. Petrocchi, and L.a Wiegand. Controlled Data Sharing in e-Health. In Proc. of IEEE STAST 2011, 1st Workshop on Socio-Technical Aspects in Security and Trust.
- G. Costa and I. Matteucci. Elective Temporal Logic. In Proceedings of QoSA-ISARCS '11 Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS .
- G. Costa and I. Matteucci. Trust-Driven Policy Enforcement through Gate Automata. In Proceedings of IMIS 2011. Pages 208 - 215.Print ISBN: 978-1-61284-733-7. DOI: 10.1109/IMIS.2011.88
- F. Martinelli and I. Matteucci. Preserving Security Properties under Refinement In Proceedings of SESS '11 - the 7th International Workshop on Software Engineering for Secure Systems
ACM New York, NY, USA. 2011.
- M. Colombo, F. Martinelli, I. Matteucci and M. Petrocchi. Context-Aware Analysis of Data Sharing Agreements. In Proceedings of the third International Conference onAdvances in Human-Oriented and Personalized Mechanisms, Technologies and Services (CENTRIC), 2010, Nice, 23-24 August 2010.
- A. Bertolino, F. Di Gindomenico, P. Masci, A. Sabetta, F. Martinelli, I. Matteucci, A. Di Marco, V. Issarny, and R.Saadi. Dependability in dynamic, evolving and
heterogeneous systems: the CONNECT approach (Project Paper). In SERENE
2010. April 13-16, 2010 Birkbeck College (London, United Kingdom).
- I. Matteucci, M. Petrocchi e M.L. Sbodio. CNL4DSA a Controlled Natural Language for Data Sharing Agreements. Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010. ACM, pages 616-620.
- G. Costa, N. Dragoni, A. Lazouski, F. Martinelli, F. Massacci and I. Matteucci. Extending Security-by-Contract with Quantitative Trust on Mobile Devices.In Proceeding of CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, 15-18 February 2010. Pages 872-877. IEEE Computer Society.
- F. Martinelli and I. Matteucci. Idea: Action Refinement for Security Properties Enforcement. In: ESSoS 2009. Leuven, Belgium, 4-6 February 2009 Springer, vol. 5429, p. 37-42, ISBN/ISSN: 0302-9743.
- R. Gorrieri, F. Martinelli, and I. Matteucci. Towards information flow properties for distributed systems. Electr. Notes Theor. Comput. Sci., 236:65-84, 2009.
- P. Greci, F. Martinelli, and I. Matteucci. A Framework for Contract-Policy Matching
Based on Symbolic Simulations for Securing Mobile Device Application. In Proceedings of the 3rd International Symposium on Leveraging Applications of Formal
Methods, Verification and Validation, 2008. CCIS 17-0221.
- B. Aziz, A. Arenas, F. Martinelli, I. Matteucci, and P. Mori. Controlling usage in
business process workflows through fine-grained security policies. In TrustBus, pages
100-117, 2008.
- F. Martinelli and I. Matteucci. Synthesis of local controller programs for enforcing
global security properties. In ARES, pages 1120-1127, 2008.
- F. Martinelli e I. Matteucci. Synthesis of web services orchestrators in a timed
setting. In WS-FM, pages 124-138, 2007.
- F. Martinelli e I. Matteucci. Through modeling to synthesis of security automata.
Electr. Notes Theor. Comput. Sci., 179:31-46, 2007.
- I. Matteucci. Automated synthesis of enforcing mechanisms for security properties
in a timed setting. Electr. Notes Theor. Comput. Sci., 186:101-120, 2007.
- F. Martinelli e I. Matteucci. An approach for the specification, verification and
synthesis of secure systems. Electr. Notes Theor. Comput. Sci., 168:29-43, 2007.
- I.Matteucci. A tool for the synthesis of controller programs. In Formal Aspects
in Security and Trust, pages 112-126, 2006.
