A Tool for the Synthesis of Controller Programs. - Ilaria Matteucci (Formal Aspects in Security and Trust, 2006)

An Approach for the Specification, Verification and Synthesis of Secure Systems. - Fabio Martinelli; Ilaria Matteucci (VODCA@FOSAD, 2006)

Through Modeling to Synthesis of Security Automata. - Fabio Martinelli; Ilaria Matteucci (STM, 2006)

Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting. - Ilaria Matteucci (ICS@SYNASC, 2006)

Synthesis of Web Services Orchestrators in a Timed Setting. - Fabio Martinelli; Ilaria Matteucci (WS-FM, 2007)

Synthesis of Local Controller Programs for Enforcing Global Security Properties. - Fabio Martinelli; Ilaria Matteucci (ARES, 2008)

A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. - Gabriele Lenzini; Fabio Martinelli; Ilaria Matteucci; Stefania Gnesi (WADS, 2008)

A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. - Paolo Greci; Fabio Martinelli; Ilaria Matteucci (ISoLA, 2008)

Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. - Benjamin Aziz; Alvaro Arenas; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (TrustBus, 2008)

Towards Information Flow Properties for Distributed Systems. - Roberto Gorrieri; Fabio Martinelli; Ilaria Matteucci (VODCA@FOSAD, 2008)

Idea: Action Refinement for Security Properties Enforcement. - Fabio Martinelli; Ilaria Matteucci (ESSoS, 2009)

Extending Security-by-Contract with Quantitative Trust on Mobile Devices. - Gabriele Costa 001; Nicola Dragoni; Aliaksandr Lazouski; Fabio Martinelli; Fabio Massacci; Ilaria Matteucci (CISIS, 2010)

CNL4DSA: a controlled natural language for data sharing agreements. - Ilaria Matteucci; Marinella Petrocchi; Marco Luca Sbodio (SAC, 2010)

Security-by-Contract-with-Trust for Mobile Devices. - Gabriele Costa 001; Aliaksandr Lazouski; Fabio Martinelli; Ilaria Matteucci; Valérie Issarny; Rachid Saadi; Nicola Dragoni; Fabio Massacci (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2010)

A Design Phase for Data Sharing Agreements. - Ilaria Matteucci; Marinella Petrocchi; Marco Luca Sbodio; Luca Wiegand (DPM/SETOP, 2011)

Preserving security properties under refinement. - Fabio Martinelli; Ilaria Matteucci (SESS@ICSE, 2011)

Trust-Driven Policy Enforcement through Gate Automata. - Gabriele Costa 001; Ilaria Matteucci (IMIS, 2011)

Elective temporal logic. - Gabriele Costa 001; Ilaria Matteucci (QoSA/ISARCS, 2011)

Security and Trust. - Gabriele Costa 001; Valérie Issarny; Fabio Martinelli; Ilaria Matteucci; Rachid Saadi (SFM, 2011)

Controlled data sharing in E-health. - Ilaria Matteucci; Paolo Mori; Marinella Petrocchi; Luca Wiegand (STAST, 2011)

A Formal Support for Collaborative Data Sharing. - Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi; Luca Wiegand (CD-ARES, 2012)

Prioritized Execution of Privacy Policies. - Ilaria Matteucci; Paolo Mori; Marinella Petrocchi (DPM/SETOP, 2012)

A Multi-criteria-Based Evaluation of Android Applications. - Gianluca Dini; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi; Andrea Saracino; Daniele Sgandurra (INTRUST, 2012)

From Qualitative to Quantitative Enforcement of Security Policy. - Fabio Martinelli; Ilaria Matteucci; Charles Morisset (MMM-ACNS, 2012)

A tool for the synthesis of cryptographic orchestrators. - Vincenzo Ciancia; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi; José Antonio Martín; Ernesto Pimentel 001 (MDsec@MoDELS, 2012)

Gate automata-driven run-time enforcement. - Gabriele Costa 001; Ilaria Matteucci (Comput. Math. Appl., 2012)

A framework for automatic generation of security controller. - Fabio Martinelli; Ilaria Matteucci (Softw. Test. Verification Reliab., 2012)

A prototype for solving conflicts in XACML-based e-Health policies. - Alessio Lunardelli; Ilaria Matteucci; Paolo Mori; Marinella Petrocchi (CBMS, 2013)

Introducing Probabilities in Contract-Based Approaches for Mobile Application Security. - Gianluca Dini; Fabio Martinelli; Ilaria Matteucci; Andrea Saracino; Daniele Sgandurra (DPM/SETOP, 2013)

Partial Model Checking for the Verification and Synthesis of Secure Service Compositions. - Fabio Martinelli; Ilaria Matteucci (EuroPKI, 2013)

Quantitative Evaluation of Enforcement Strategies - Position Paper. - Vincenzo Ciancia; Fabio Martinelli; Ilaria Matteucci; Charles Morisset (FPS, 2013)

Remote Policy Enforcement for Trusted Application Execution in Mobile Environments. - Fabio Martinelli; Ilaria Matteucci; Andrea Saracino; Daniele Sgandurra (INTRUST, 2013)

Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach. - Gianluca Dini; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi; Andrea Saracino; Daniele Sgandurra (TrustCom/ISPA/IUCC, 2013)

Definition of Data Sharing Agreements - The Case of Spanish Data Protection Law. - Marina Egea; Ilaria Matteucci; Paolo Mori; Marinella Petrocchi (A4Cloud, 2014)

My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. - Stefania Gnesi; Ilaria Matteucci; Corrado Moiso; Paolo Mori; Marinella Petrocchi; Michele Vescovi (APF, 2014)

An Expertise-Driven Authoring Tool for E-Health Data Policies. - Riccardo Conti; Ilaria Matteucci; Paolo Mori; Marinella Petrocchi (CBMS, 2014)

Maturity Assessment of Wikipedia Medical Articles. - Riccardo Conti; Emanuel Marzini; Angelo Spognardi; Ilaria Matteucci; Paolo Mori; Marinella Petrocchi (CBMS, 2014)

Introducing Probabilities in Controller Strategies. - Jerry den Hartog; Ilaria Matteucci (DPM/SETOP/QASA, 2014)

Enforcing Mobile Application Security Through Probabilistic Contracts. - Fabio Martinelli; Ilaria Matteucci; Andrea Saracino; Daniele Sgandurra (ESSoS Doctoral Symposium, 2014)

Improved Automatic Maturity Assessment of Wikipedia Medical Articles - (Short Paper). - Emanuel Marzini; Angelo Spognardi; Ilaria Matteucci; Paolo Mori; Marinella Petrocchi; Riccardo Conti (OTM Conferences, 2014)

Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014). - Silvia Bonomi; Ilaria Matteucci (SAFECOMP Workshops, 2014)

On Security Countermeasures Ranking through Threat Analysis. - Nicola Nostro; Ilaria Matteucci; Andrea Ceccarelli; Felicita Di Giandomenico; Fabio Martinelli; Andrea Bondavalli (SAFECOMP Workshops, 2014)

Closing the loop of SIEM analysis to Secure Critical Infrastructures. - Alessia Garofalo; Cesario Di Sarno; Ilaria Matteucci; Marco Vallini; Valerio Formicola (CoRR, 2014)

Automated Synthesis and Ranking of Secure BPMN Orchestrators. - Vincenzo Ciancia; José Antonio Martín; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi; Ernesto Pimentel 001 (Int. J. Secur. Softw. Eng., 2014)

Preserving Data Privacy in e-Health. - Riccardo Conti; Alessio Lunardelli; Ilaria Matteucci; Paolo Mori; Marinella Petrocchi (Engineering Secure Future Internet Services and Systems, 2014)

On the Synthesis of Secure Services Composition. - José Antonio Martín; Fabio Martinelli; Ilaria Matteucci; Ernesto Pimentel 001; Mathieu Turuani (Engineering Secure Future Internet Services and Systems, 2014)

There are Two Sides to Every Question - Controller Versus Attacker. - Fabio Martinelli; Ilaria Matteucci; Francesco Santini 001 (Programming Languages with Applications to Biology and Security, 2015)

1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and Security (TELERISE 2015). - Ilaria Matteucci; Paolo Mori; Marinella Petrocchi (ICSE (2), 2015)

Semiring-based Specification Approaches for Quantitative Security. - Fabio Martinelli; Ilaria Matteucci; Francesco Santini 001 (QAPL, 2015)

Towards safer information sharing in the cloud. - Marco Casassa Mont; Ilaria Matteucci; Marinella Petrocchi; Marco Luca Sbodio (Int. J. Inf. Sec., 2015)

A Lifecycle for Data Sharing Agreements: How it Works Out. - José Fran. Ruiz; Marinella Petrocchi; Ilaria Matteucci; Gianpiero Costantino; Carmela Gambardella; Mirko Manea; Anil Ozdeniz (APF, 2016)

Introduction to ReSA4CI 2016. - Silvia Bonomi; Ilaria Matteucci (DSN Workshops, 2016)

Decomposing Global Quantitative Properties into Local Ones. - Ilaria Matteucci; Francesco Santini 001 (DPM/QASA@ESORICS, 2016)

A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. - Stefano Bistarelli; Fabio Martinelli; Ilaria Matteucci; Francesco Santini 001 (FACS, 2016)

Exploiting Vehicles' Reputation to Mitigate DoS Attack. - Gianpiero Costantino; Fabio Martinelli; Ilaria Matteucci (AMARETTO@MODELSWARD, 2016)

Automated adaptation via quantitative partial model checking. - Stefano Bistarelli; Francesco Santini 001; Fabio Martinelli; Ilaria Matteucci (SAC, 2016)

A multi-criteria ranking of security countermeasures. - Nicola Nostro; Ilaria Matteucci; Andrea Ceccarelli; Francesco Santini 001; Felicita Di Giandomenico; Fabio Martinelli; Andrea Bondavalli (SAC, 2016)

Enforcement of U-XACML History-Based Usage Control Policy. - Fabio Martinelli; Ilaria Matteucci; Paolo Mori; Andrea Saracino (STM, 2016)

Data Sharing Agreements: How to Glue Definition, Analysis and Mapping Together. - Carmela Gambardella; Ilaria Matteucci; Marinella Petrocchi (ERCIM News, 2016)

A novel security information and event management system for enhancing cyber security in a hydroelectric dam. - Cesario Di Sarno; Alessia Garofalo; Ilaria Matteucci; Marco Vallini (Int. J. Crit. Infrastructure Prot., 2016)

Reputation Systems to Mitigate DoS Attack in Vehicular Network. - Gianpiero Costantino; Fabio Martinelli; Ilaria Matteucci (CRITIS, 2017)

Analysis of Data Sharing Agreements. - Gianpiero Costantino; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi (ICISSP, 2017)

Efficient Detection of Conflicts in Data Sharing Agreements. - Gianpiero Costantino; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi (ICISSP (Revised Selected Papers), 2017)

A Quantitative Partial Model-Checking Function and Its Optimisation. - Stefano Bistarelli; Fabio Martinelli; Ilaria Matteucci; Francesco Santini 001 (LPAR, 2017)

Concurrent History-based Usage Control Policies. - Fabio Martinelli; Ilaria Matteucci; Paolo Mori; Andrea Saracino (MODELSWARD, 2017)

Contributions from ADBIS 2018 Workshops. - Udo Bub; Ajantha Dahanayake; Jérôme Darmont; Claudia Diamantini; Fabio Fassetti; Eduardo Fermé; Nadia Kabachi; Ilaria Matteucci; Bálint Molnár; Sham Navathe; Ermelinda Oro; Marinella Petrocchi; et al. (ADBIS (Short Papers and Workshops), 2018)

CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour. - Gianpiero Costantino; Fabio Martinelli; Ilaria Matteucci; Antonia Bertolino; Antonello Calabrò; Eda Marchetti (PDP, 2018)

Improving Vehicle Safety Through a Fog Collaborative Infrastructure. - Gianpiero Costantino; Fabio Martinelli; Ilaria Matteucci; Francesco Mercaldo (SMARTCOMP, 2018)

CANDY: A Social Engineering Attack to Leak Information from Infotainment System. - Gianpiero Costantino; Antonio La Marra; Fabio Martinelli; Ilaria Matteucci (VTC Spring, 2018)

A Declarative Data Protection Approach: From Human-Readable Policies to Automatic Enforcement. - Francesco Di Cerbo; Alessio Lunardelli; Ilaria Matteucci; Fabio Martinelli; Paolo Mori (WEBIST (Revised Selected Papers), 2018)

Towards a Declarative Approach to Stateful and Stateless Usage Control for Data Protection. - Francesco Di Cerbo; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (WEBIST, 2018)

Risk analysis of Android applications: A user-centric solution. - Gianluca Dini; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi; Andrea Saracino; Daniele Sgandurra (Future Gener. Comput. Syst., 2018)

A tour of secure software engineering solutions for connected vehicles. - Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Giuseppe Lami; Francesca Lonetti; Eda Marchetti; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (Softw. Qual. J., 2018)

TOUCAN: A proTocol tO secUre Controller Area Network. - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci (AutoSec@CODASPY, 2019)

CANDY CREAM - Hacking Infotainment Android Systems to Command Instrument Cluster via Can Data Frame. - Gianpiero Costantino; Ilaria Matteucci (CSE/EUC, 2019)

Security assessment of systems of systems. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; María José Escalona; Ilaria Matteucci (SESoS/WDES, 2019)

Implementing CAN bus security by TOUCAN. - Pietro Biondi; Giampaolo Bella; Gianpiero Costantino; Ilaria Matteucci (MobiHoc, 2019)

Demo: CANDY CREAM. - Gianpiero Costantino; Ilaria Matteucci (SAFECOMP Workshops, 2019)

Addressing Security Properties in Systems of Systems: Challenges and Ideas. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; María José Escalona; Ilaria Matteucci (SERENE, 2019)

A Privacy-Preserving Infrastructure for Driver's Reputation Aware Automotive Services. - Gianpiero Costantino; Fabio Martinelli; Ilaria Matteucci; Paolo Santi (STAST, 2019)

Are you secure in your car?: poster. - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci (WiSec, 2019)

CINNAMON: A Module for AUTOSAR Secure Onboard Communication. - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci (EDCC, 2020)

Presente Digitale: An Online Education System for Teachers. - Michela Fazzolari; Stefania Fabbri; Ilaria Matteucci; Marinella Petrocchi; Anna Vaccarelli (HELMeTO, 2020)

Analysis of Functional Safety in a secure implementation of CAN Protocol. - Gianpiero Costantino; Luca Dariz; Ilaria Matteucci (INDIN, 2020)

EARNEST: A challenge-based intrusion prevention system for CAN messages. - Gianpiero Costantino; Ilaria Matteucci; Domenico Morales (ISSRE Workshops, 2020)

Digital persona portrayal: Identifying pluridentity vulnerabilities in digital life. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; María José Escalona; Ilaria Matteucci (J. Inf. Secur. Appl., 2020)

Private Drivers Identification based on users' routine. - Gianpiero Costantino; Ilaria Matteucci; Davide Micale; Giuseppe Patanè 002 (ISPA/BDCloud/SocialCom/SustainCom, 2021)

Towards the COSCA framework for "COnseptualing Secure CArs". - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci; Mirco Marchetti (Open Identity Summit, 2021)

Secure Routine: A Routine-Based Algorithm for Drivers Identification. - Davide Micale; Gianpiero Costantino; Ilaria Matteucci; Giuseppe Patanè 002; Giampaolo Bella (CoRR, 2021)

A Comparative Analysis of UNECE WP.29 R155 and ISO/SAE 21434. - Gianpiero Costantino; Marco De Vincenzi 001; Ilaria Matteucci (EuroS&P Workshops, 2022)

SECPAT: Security Patterns for Resilient Automotive E / E Architectures. - Christian Plappert; Florian Fenzl; Roland Rieke; Ilaria Matteucci; Gianpiero Costantino; Marco De Vincenzi 001 (PDP, 2022)

CAHOOT: a Context-Aware veHicular intrusiOn detectiOn sysTem. - Davide Micale; Gianpiero Costantino; Ilaria Matteucci; Florian Fenzl; Roland Rieke; Giuseppe Patanè 002 (TrustCom, 2022)

Full-protocol safety analysis of CINNAMON. - Luca Dariz; Gianpiero Costantino; Ilaria Matteucci (VTC Spring, 2022)

Designing and implementing an AUTOSAR-based Basic Software Module for enhanced security. - Giampaolo Bella; Pietro Biondi; Gianpiero Costantino; Ilaria Matteucci (Comput. Networks, 2022)

In-Depth Exploration of ISO/SAE 21434 and Its Correlations with Existing Standards. - Gianpiero Costantino; Marco De Vincenzi 001; Ilaria Matteucci (IEEE Commun. Stand. Mag., 2022)

A Delphi study to recognize and assess systems of systems vulnerabilities. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; Ilaria Matteucci; María José Escalona (Inf. Softw. Technol., 2022)

Application of Secure Two-Party Computation in a Privacy-Preserving Android App. - Marco De Vincenzi 001; Ilaria Matteucci; Fabio Martinelli; Stefano Sebastio (ARES, 2023)

Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions. - Marco De Vincenzi 001; Chiara Bodei; Ilaria Matteucci (AICCSA, 2023)

SuperCyberKids: Enhancing Cybersecurity Education in K-12 Through Digital Game-Based Learning. - Flavio Manganello; Peadar Callaghan; Giuseppe Città; Paola Denaro; Jeffrey Earp; Chiara Fante; Dirk Ifenthaler; Catlyn Kirna; Luca Janka Laszlo; Ilaria Matteucci; Salvatore Perna; Nicolai Plintz; et al. (HELMeTO, 2023)

Vehicle Data Collection: A Privacy Policy Analysis and Comparison. - Chiara Bodei; Gianpiero Costantino; Marco De Vincenzi 001; Ilaria Matteucci; Anna Monreale (ICISSP, 2023)

From Hardware-Functional to Software-Defined Vehicles and their Security Issues. - Chiara Bodei; Marco De Vincenzi 001; Ilaria Matteucci (INDIN, 2023)

Data Collection in Automotive: A Deep Analysis of Carmakers' Mobile App Privacy Policies. - Chiara Bodei; Gianpiero Costantino; Marco De Vincenzi 001; Ilaria Matteucci; Anna Monreale (ITSC, 2023)

Electric Vehicle Security and Privacy: A Comparative Analysis of Charging Methods. - Gianpiero Costantino; Marco De Vincenzi 001; Fabio Martinelli; Ilaria Matteucci (VTC2023-Spring, 2023)

Privacy-Preserving Data Sharing for Collaborative Analytics in Multi-Modal Transportation Systems. - Daniele Albanese; Giuseppe Crincoli; Marco De Vincenzi 001; Giacomo Iadarola; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (ERCIM News, 2023)

A Privacy-Preserving Solution for Intelligent Transportation Systems: Private Driver DNA. - Gianpiero Costantino; Marco De Vincenzi 001; Fabio Martinelli; Ilaria Matteucci (IEEE Trans. Intell. Transp. Syst., 2023)

Reversing Kia Motors Head Unit to discover and exploit software vulnerabilities. - Gianpiero Costantino; Ilaria Matteucci (J. Comput. Virol. Hacking Tech., 2023)

OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. - Marco De Vincenzi 001; Chiara Bodei; Ilaria Matteucci (SAC, 2024)

Contextualizing Security and Privacy of Software-Defined Vehicles: State of the Art and Industry Perspectives. - Marco De Vincenzi 001; Mert D. Pesé; Chiara Bodei; Ilaria Matteucci; Richard R. Brooks; Monowar Hasan; Andrea Saracino; Mohammad Hamad; Sebastian Steinhorst (CoRR, 2024)

A systematic mapping study on security for systems of systems. - Miguel Angel Olivero; Antonia Bertolino; Francisco José Domínguez Mayo; María José Escalona; Ilaria Matteucci (Int. J. Inf. Sec., 2024)

A Systematic Review on Security Attacks and Countermeasures in Automotive Ethernet. - Marco De Vincenzi 001; Gianpiero Costantino; Ilaria Matteucci; Florian Fenzl; Christian Plappert; Roland Rieke; Daniel Zelle (ACM Comput. Surv., 2024)

A context-aware on-board intrusion detection system for smart vehicles. - Davide Micale; Ilaria Matteucci; Florian Fenzl; Roland Rieke; Giuseppe Patanè 002 (Int. J. Inf. Sec., 2024)

Formal analysis of an AUTOSAR-based basic software module. - Chiara Bodei; Marco De Vincenzi 001; Ilaria Matteucci (Int. J. Softw. Tools Technol. Transf., 2024)

A vehicle firmware security vulnerability: an IVI exploitation. - Gianpiero Costantino; Marco De Vincenzi 001; Ilaria Matteucci (J. Comput. Virol. Hacking Tech., 2024)

Vehicular Communication Security: Multi-Channel and Multi-Factor Authentication. - Marco De Vincenzi 001; Shuyang Sun; Chen Bo Calvin Zhang; Manuel Garcia; Shaozu Ding; Chiara Bodei; Ilaria Matteucci; Sanjay E. Sarma; Dajiang Suo (CoRR, 2025)