Current Projects
At present, I am not involved in any active projects.
Past projects
SMIMI: Security in Modern Information Management Infrastructures (2024 - 2025). I was ivolved as a scientiic contributor in the project.
Heath Big Data: A ten-year project (2019-2029), funded by the Ministry of Economic and Finance (MEF) and coordinated by the Ministry of Health. It involves 51 IRCCS belonging to the Networks Alliance Against Cancer, Neuroscience and Neurorehabilitation and Cardiology managed by the three Networks in collaboration with the Politecnico of Milan. Its objective consists in creating a federated data lake that allows the sharing of clinical data trials, for evidence-based medicine.
TEADAL: The ambition of TEADAL is to provide key cornerstone technologies to create stretched data lakes spanning the cloud-edge continuum and multi-cloud, providing privacy, confidentiality, and energy-efficient data management. The TEADAL data lake technologies will enable trusted, verifiable and energy-efficient data flows, both in a stretched data lake and across a trustworthy mediatorless federation of them, based on a shared approach for defining, enforcing, and tracking privacy/confidentiality requirements balanced with the need for energy reduction.
DITAS: Data-intensive application improvement by moving data and computation in mixed cloud/fog environment (2017- 2020). I collaborated with the consortium to define an automated framework for the decision of the adaptation mechanism to enact to maximize the requirements of users.
PACAS: Participatory Architectural Change Management in ATM Systems (2016 – 2017). I coordinated the consortium to create of a platform for helping decision-makers to understand the impact of changes from different perspectives in Air Traffic Management (ATM) systems.
VisiOn: Increase citizen awareness on privacy (2016 – 2017). I collaborated with the partners of the VisiOn consortium to create a framework for the design of complex socio-technical systems aligned with privacy requirements defined by their stakeholders.
Aniketos: Ensuring trustworthiness and security in service compositions (2011- 2014). I collaborated with the partners of the Aniketos consortium to create a framework for the automated verification of security policies in business processes.
Lucretius: Foundation for software evolution (2011- 2015). I collaborated with other researchers of the Software Engineering group at the University of Trento, to define a framework for designing secure business processes for socio-technical systems.