Ilaria Matteucci

124 papers B 12C 11Misc 6Journal 30Unranked 62

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Ontology-Driven Detection of Traffic Light Manipulation in Intelligent Transportation Systems. ICISSP (2) Elena Cardillo, Marco De Vincenzi, Maria Taverniti, Ilaria Matteucci
2026	J	`jnl`	Vehicular Communication Security: Multi-Channel and Multi-Factor Authentication. IEEE Trans. Veh. Technol. Marco De Vincenzi, Shuyang Sun, Chen Bo Calvin Zhang, Manuel Garcia, Shaozu Ding, Chiara Bodei, Ilaria Matteucci, Sanjay E. Sarma, Dajiang Suo
2026	J	`jnl`	When AI takes the wheel: AI-defined vehicles principles and pitfalls. Frontiers Robotics AI Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
2025	J	`jnl`	CARBUROS: A Formally Verified Authentication Protocol for V2X Communications. IEEE Access Marco De Vincenzi, Chiara Bodei, Gabriele Costa, Ilaria Matteucci
2025	—	`conf`	OLIVE: Adaptive Containerized Architecture for Multi-Factor Authentication in V2X. VTC2025-Spring Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
2025	—	`conf`	TLM: A Spatial Messaging Language for Autonomous Vehicle Navigation. VTC2025-Fall Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci, Sanjay E. Sarma, Stephen S. Ho
2025	J	`jnl`	Vehicular Communication Security: Multi-Channel and Multi-Factor Authentication. CoRR Marco De Vincenzi, Shuyang Sun, Chen Bo Calvin Zhang, Manuel Garcia, Shaozu Ding, Chiara Bodei, Ilaria Matteucci, Sanjay E. Sarma, Dajiang Suo
2024	J	`jnl`	A Systematic Review on Security Attacks and Countermeasures in Automotive Ethernet. ACM Comput. Surv. Marco De Vincenzi, Gianpiero Costantino, Ilaria Matteucci, Florian Fenzl, Christian Plappert, Roland Rieke, Daniel Zelle
2024	J	`jnl`	A context-aware on-board intrusion detection system for smart vehicles. Int. J. Inf. Sec. Davide Micale, Ilaria Matteucci, Florian Fenzl, Roland Rieke, Giuseppe Patanè
2024	J	`jnl`	A systematic mapping study on security for systems of systems. Int. J. Inf. Sec. Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci
2024	J	`jnl`	A vehicle firmware security vulnerability: an IVI exploitation. J. Comput. Virol. Hacking Tech. Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci
2024	J	`jnl`	Contextualizing Security and Privacy of Software-Defined Vehicles: State of the Art and Industry Perspectives. CoRR Marco De Vincenzi, Mert D. Pesé, Chiara Bodei, Ilaria Matteucci, Richard R. Brooks, Monowar Hasan, Andrea Saracino, Mohammad Hamad, Sebastian Steinhorst
2024	J	`jnl`	Formal analysis of an AUTOSAR-based basic software module. Int. J. Softw. Tools Technol. Transf. Chiara Bodei, Marco De Vincenzi, Ilaria Matteucci
2024	Misc	`conf`	OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. SAC Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
2023	J	`jnl`	A Privacy-Preserving Solution for Intelligent Transportation Systems: Private Driver DNA. IEEE Trans. Intell. Transp. Syst. Gianpiero Costantino, Marco De Vincenzi, Fabio Martinelli, Ilaria Matteucci
2023	B	`conf`	Application of Secure Two-Party Computation in a Privacy-Preserving Android App. ARES Marco De Vincenzi, Ilaria Matteucci, Fabio Martinelli, Stefano Sebastio
2023	—	`conf`	Data Collection in Automotive: A Deep Analysis of Carmakers' Mobile App Privacy Policies. ITSC Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci, Anna Monreale
2023	—	`conf`	Electric Vehicle Security and Privacy: A Comparative Analysis of Charging Methods. VTC2023-Spring Gianpiero Costantino, Marco De Vincenzi, Fabio Martinelli, Ilaria Matteucci
2023	C	`conf`	From Hardware-Functional to Software-Defined Vehicles and their Security Issues. INDIN Chiara Bodei, Marco De Vincenzi, Ilaria Matteucci
2023	J	`jnl`	Privacy-Preserving Data Sharing for Collaborative Analytics in Multi-Modal Transportation Systems. ERCIM News Daniele Albanese, Giuseppe Crincoli, Marco De Vincenzi, Giacomo Iadarola, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2023	J	`jnl`	Reversing Kia Motors Head Unit to discover and exploit software vulnerabilities. J. Comput. Virol. Hacking Tech. Gianpiero Costantino, Ilaria Matteucci
2023	C	`conf`	Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions. AICCSA Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
2023	—	`conf`	SuperCyberKids: Enhancing Cybersecurity Education in K-12 Through Digital Game-Based Learning. HELMeTO 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, Anna Vaccarelli, Manuel Gentile
2023	C	`conf`	Vehicle Data Collection: A Privacy Policy Analysis and Comparison. ICISSP Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci, Anna Monreale
2022	—	`conf`	A Comparative Analysis of UNECE WP.29 R155 and ISO/SAE 21434. EuroS&P Workshops Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci
2022	J	`jnl`	A Delphi study to recognize and assess systems of systems vulnerabilities. Inf. Softw. Technol. Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, Ilaria Matteucci, María José Escalona
2022	B	`conf`	CAHOOT: a Context-Aware veHicular intrusiOn detectiOn sysTem. TrustCom Davide Micale, Gianpiero Costantino, Ilaria Matteucci, Florian Fenzl, Roland Rieke, Giuseppe Patanè
2022	J	`jnl`	Designing and implementing an AUTOSAR-based Basic Software Module for enhanced security. Comput. Networks Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2022	—	`conf`	Full-protocol safety analysis of CINNAMON. VTC Spring Luca Dariz, Gianpiero Costantino, Ilaria Matteucci
2022	J	`jnl`	In-Depth Exploration of ISO/SAE 21434 and Its Correlations with Existing Standards. IEEE Commun. Stand. Mag. Gianpiero Costantino, Marco De Vincenzi, Ilaria Matteucci
2022	C	`conf`	SECPAT: Security Patterns for Resilient Automotive E / E Architectures. PDP Christian Plappert, Florian Fenzl, Roland Rieke, Ilaria Matteucci, Gianpiero Costantino, Marco De Vincenzi
2021	J	`jnl`	CINNAMON: A Module for AUTOSAR Secure Onboard Communication. CoRR Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2021	—	`conf`	Private Drivers Identification based on users' routine. ISPA/BDCloud/SocialCom/SustainCom Gianpiero Costantino, Ilaria Matteucci, Davide Micale, Giuseppe Patanè
2021	J	`jnl`	Secure Routine: A Routine-Based Algorithm for Drivers Identification. CoRR Davide Micale, Gianpiero Costantino, Ilaria Matteucci, Giuseppe Patanè, Giampaolo Bella
2021	J	`jnl`	TOUCAN: A proTocol tO secUre Controller Area Network. CoRR Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2021	—	`conf`	Towards the COSCA framework for "COnseptualing Secure CArs". Open Identity Summit Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci, Mirco Marchetti
2020	C	`conf`	Analysis of Functional Safety in a secure implementation of CAN Protocol. INDIN Gianpiero Costantino, Luca Dariz, Ilaria Matteucci
2020	Misc	`conf`	CINNAMON: A Module for AUTOSAR Secure Onboard Communication. EDCC Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2020	J	`jnl`	Digital persona portrayal: Identifying pluridentity vulnerabilities in digital life. J. Inf. Secur. Appl. Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci
2020	—	`conf`	EARNEST: A challenge-based intrusion prevention system for CAN messages. ISSRE Workshops Gianpiero Costantino, Ilaria Matteucci, Domenico Morales
2020	—	`conf`	Presente Digitale: An Online Education System for Teachers. HELMeTO Michela Fazzolari, Stefania Fabbri, Ilaria Matteucci, Marinella Petrocchi, Anna Vaccarelli
2019	—	`conf`	A Privacy-Preserving Infrastructure for Driver's Reputation Aware Automotive Services. STAST Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Paolo Santi
2019	—	`conf`	Addressing Security Properties in Systems of Systems: Challenges and Ideas. SERENE Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci
2019	—	`conf`	Are you secure in your car?: poster. WiSec Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2019	—	`conf`	CANDY CREAM - Hacking Infotainment Android Systems to Command Instrument Cluster via Can Data Frame. CSE/EUC Gianpiero Costantino, Ilaria Matteucci
2019	—	`conf`	Demo: CANDY CREAM. SAFECOMP Workshops Gianpiero Costantino, Ilaria Matteucci
2019	B	`conf`	Implementing CAN bus security by TOUCAN. MobiHoc Pietro Biondi, Giampaolo Bella, Gianpiero Costantino, Ilaria Matteucci
2019	—	`conf`	Security assessment of systems of systems. SESoS/WDES Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci
2019	—	`conf`	TOUCAN: A proTocol tO secUre Controller Area Network. AutoSec@CODASPY Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
2018	—	`conf`	A Declarative Data Protection Approach: From Human-Readable Policies to Automatic Enforcement. WEBIST (Revised Selected Papers) Francesco Di Cerbo, Alessio Lunardelli, Ilaria Matteucci, Fabio Martinelli, Paolo Mori
2018	J	`jnl`	A tour of secure software engineering solutions for connected vehicles. Softw. Qual. J. Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2018	—	`conf`	CANDY: A Social Engineering Attack to Leak Information from Infotainment System. VTC Spring Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Ilaria Matteucci
2018	C	`conf`	CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour. PDP Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Antonia Bertolino, Antonello Calabrò, Eda Marchetti
2018	—	`conf`	Contributions from ADBIS 2018 Workshops. ADBIS (Short Papers and 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, Simona E. Rombo, Massimo Ruffolo, Angelo Spognardi, Bernhard Thalheim, Domenico Ursino
2018	B	`conf`	Improving Vehicle Safety Through a Fog Collaborative Infrastructure. SMARTCOMP Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Francesco Mercaldo
2018	J	`jnl`	Risk analysis of Android applications: A user-centric solution. Future Gener. Comput. Syst. Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2018	C	`conf`	Towards a Declarative Approach to Stateful and Stateless Usage Control for Data Protection. WEBIST Francesco Di Cerbo, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2017	B	`conf`	A Quantitative Partial Model-Checking Function and Its Optimisation. LPAR Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2017	C	`conf`	Analysis of Data Sharing Agreements. ICISSP Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
2017	C	`conf`	Concurrent History-based Usage Control Policies. MODELSWARD Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino
2017	—	`conf`	Efficient Detection of Conflicts in Data Sharing Agreements. ICISSP (Revised Selected Papers) Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
2017	C	`conf`	Reputation Systems to Mitigate DoS Attack in Vehicular Network. CRITIS Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
2016	—	`conf`	A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. FACS Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2016	—	`conf`	A Lifecycle for Data Sharing Agreements: How it Works Out. APF José Fran. Ruiz, Marinella Petrocchi, Ilaria Matteucci, Gianpiero Costantino, Carmela Gambardella, Mirko Manea, Anil Ozdeniz
2016	Misc	`conf`	A multi-criteria ranking of security countermeasures. SAC Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2016	J	`jnl`	A novel security information and event management system for enhancing cyber security in a hydroelectric dam. Int. J. Crit. Infrastructure Prot. Cesario Di Sarno, Alessia Garofalo, Ilaria Matteucci, Marco Vallini
2016	Misc	`conf`	Automated adaptation via quantitative partial model checking. SAC Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci
2016	J	`jnl`	Data Sharing Agreements: How to Glue Definition, Analysis and Mapping Together. ERCIM News Carmela Gambardella, Ilaria Matteucci, Marinella Petrocchi
2016	—	`conf`	Decomposing Global Quantitative Properties into Local Ones. DPM/QASA@ESORICS Ilaria Matteucci, Francesco Santini
2016	—	`conf`	Enforcement of U-XACML History-Based Usage Control Policy. STM Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino
2016	—	`conf`	Exploiting Vehicles' Reputation to Mitigate DoS Attack. AMARETTO@MODELSWARD Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
2016	—	`conf`	Introduction to ReSA4CI 2016. DSN Workshops Silvia Bonomi, Ilaria Matteucci
2015	—	`ed.`	1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, TELERISE 2015, Florence, Italy, May 18, 2015 TELERISE@ICSE Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2015	—	`conf`	1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and Security (TELERISE 2015). ICSE (2) Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2015	—	`conf`	Semiring-based Specification Approaches for Quantitative Security. QAPL Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2015	—	`conf`	There are Two Sides to Every Question - Controller Versus Attacker. Programming Languages with Applications to Biology and Security Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2015	J	`jnl`	Towards safer information sharing in the cloud. Int. J. Inf. Sec. Marco Casassa Mont, Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio
2014	B	`conf`	An Expertise-Driven Authoring Tool for E-Health Data Policies. CBMS Riccardo Conti, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2014	J	`jnl`	Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
2014	J	`jnl`	Closing the loop of SIEM analysis to Secure Critical Infrastructures. CoRR Alessia Garofalo, Cesario Di Sarno, Ilaria Matteucci, Marco Vallini, Valerio Formicola
2014	—	`conf`	Definition of Data Sharing Agreements - The Case of Spanish Data Protection Law. A4Cloud Marina Egea, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2014	—	`conf`	Enforcing Mobile Application Security Through Probabilistic Contracts. ESSoS Doctoral Symposium Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2014	—	`conf`	Improved Automatic Maturity Assessment of Wikipedia Medical Articles - (Short Paper). OTM Conferences Emanuel Marzini, Angelo Spognardi, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi, Riccardo Conti
2014	—	`conf`	Introducing Probabilities in Controller Strategies. DPM/SETOP/QASA Jerry den Hartog, Ilaria Matteucci
2014	—	`conf`	Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014). SAFECOMP Workshops Silvia Bonomi, Ilaria Matteucci
2014	B	`conf`	Maturity Assessment of Wikipedia Medical Articles. CBMS Riccardo Conti, Emanuel Marzini, Angelo Spognardi, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2014	—	`conf`	My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. APF Stefania Gnesi, Ilaria Matteucci, Corrado Moiso, Paolo Mori, Marinella Petrocchi, Michele Vescovi
2014	—	`conf`	On Security Countermeasures Ranking through Threat Analysis. SAFECOMP Workshops Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2014	—	`ch.`	On the Synthesis of Secure Services Composition. Engineering Secure Future Internet Services and Systems José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani
2014	—	`ch.`	Preserving Data Privacy in e-Health. Engineering Secure Future Internet Services and Systems Riccardo Conti, Alessio Lunardelli, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2013	B	`conf`	A prototype for solving conflicts in XACML-based e-Health policies. CBMS Alessio Lunardelli, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2013	B	`conf`	Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
2013	—	`conf`	Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach. TrustCom/ISPA/IUCC Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2013	—	`conf`	Introducing Probabilities in Contract-Based Approaches for Mobile Application Security. DPM/SETOP Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2013	—	`conf`	Partial Model Checking for the Verification and Synthesis of Secure Service Compositions. EuroPKI Fabio Martinelli, Ilaria Matteucci
2013	—	`conf`	Quantitative Evaluation of Enforcement Strategies - Position Paper. FPS Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset
2013	—	`conf`	Remote Policy Enforcement for Trusted Application Execution in Mobile Environments. INTRUST Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2012	—	`conf`	A Formal Support for Collaborative Data Sharing. CD-ARES Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Luca Wiegand
2012	—	`conf`	A Multi-criteria-Based Evaluation of Android Applications. INTRUST Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2012	J	`jnl`	A framework for automatic generation of security controller. Softw. Test. Verification Reliab. Fabio Martinelli, Ilaria Matteucci
2012	—	`conf`	A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
2012	—	`conf`	From Qualitative to Quantitative Enforcement of Security Policy. MMM-ACNS Fabio Martinelli, Ilaria Matteucci, Charles Morisset
2012	J	`jnl`	Gate automata-driven run-time enforcement. Comput. Math. Appl. Gabriele Costa, Ilaria Matteucci
2012	—	`conf`	Prioritized Execution of Privacy Policies. DPM/SETOP Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2011	—	`conf`	A Design Phase for Data Sharing Agreements. DPM/SETOP Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand
2011	—	`conf`	Controlled data sharing in E-health. STAST Ilaria Matteucci, Paolo Mori, Marinella Petrocchi, Luca Wiegand
2011	—	`conf`	Elective temporal logic. QoSA/ISARCS Gabriele Costa, Ilaria Matteucci
2011	—	`conf`	Preserving security properties under refinement. SESS@ICSE Fabio Martinelli, Ilaria Matteucci
2011	—	`conf`	Security and Trust. SFM Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
2011	—	`conf`	Trust-Driven Policy Enforcement through Gate Automata. IMIS Gabriele Costa, Ilaria Matteucci
2010	Misc	`conf`	CNL4DSA: a controlled natural language for data sharing agreements. SAC Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio
2010	Misc	`conf`	Extending Security-by-Contract with Quantitative Trust on Mobile Devices. CISIS Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci
2010	J	`jnl`	Security-by-Contract-with-Trust for Mobile Devices. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci
2009	—	`conf`	Idea: Action Refinement for Security Properties Enforcement. ESSoS Fabio Martinelli, Ilaria Matteucci
2008	C	`conf`	A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA Paolo Greci, Fabio Martinelli, Ilaria Matteucci
2008	B	`conf`	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi
2008	B	`conf`	Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2008	B	`conf`	Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES Fabio Martinelli, Ilaria Matteucci
2008	—	`conf`	Towards Information Flow Properties for Distributed Systems. VODCA@FOSAD Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci
2007	—	`conf`	Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM Fabio Martinelli, Ilaria Matteucci
2006	—	`conf`	A Tool for the Synthesis of Controller Programs. Formal Aspects in Security and Trust Ilaria Matteucci
2006	—	`conf`	An Approach for the Specification, Verification and Synthesis of Secure Systems. VODCA@FOSAD Fabio Martinelli, Ilaria Matteucci
2006	—	`conf`	Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting. ICS@SYNASC Ilaria Matteucci
2006	—	`conf`	Through Modeling to Synthesis of Security Automata. STM Fabio Martinelli, Ilaria Matteucci