default search action
Ilaria Matteucci
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j19]Marco De Vincenzi
, Gianpiero Costantino
A Systematic Review on Security Attacks and Countermeasures in Automotive Ethernet. ACM Comput. Surv. 56(6): 135:1-135:38 (2024) - [j18]Miguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez Mayo, María José Escalona, Ilaria Matteucci:
A systematic mapping study on security for systems of systems. Int. J. Inf. Sec. 23(2): 787-817 (2024) - [j17]Davide Micale, Ilaria Matteucci, Florian Fenzl, Roland Rieke
A context-aware on-board intrusion detection system for smart vehicles. Int. J. Inf. Sec. 23(3): 2203-2223 (2024) - [j16]Chiara Bodei, Marco De Vincenzi, Ilaria Matteucci:
Formal analysis of an AUTOSAR-based basic software module. Int. J. Softw. Tools Technol. Transf. 26(4): 495-508 (2024) - [j15]Gianpiero Costantino, Marco De Vincenzi
A vehicle firmware security vulnerability: an IVI exploitation. J. Comput. Virol. Hacking Tech. 20(4): 681-696 (2024) - [c88]Marco De Vincenzi
OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. SAC 2024: 215-217 - 2023
- [j14]Gianpiero Costantino
A Privacy-Preserving Solution for Intelligent Transportation Systems: Private Driver DNA. IEEE Trans. Intell. Transp. Syst. 24(1): 258-273 (2023) - [j13]Gianpiero Costantino
Reversing Kia Motors Head Unit to discover and exploit software vulnerabilities. J. Comput. Virol. Hacking Tech. 19(1): 33-49 (2023) - [c87]Marco De Vincenzi
Application of Secure Two-Party Computation in a Privacy-Preserving Android App. ARES 2023: 144:1-144:7 - [c86]Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci:
Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions. AICCSA 2023: 1-9 - [c85]Flavio Manganello
SuperCyberKids: Enhancing Cybersecurity Education in K-12 Through Digital Game-Based Learning. HELMeTO 2023: 323-334 - [c84]Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi
Vehicle Data Collection: A Privacy Policy Analysis and Comparison. ICISSP 2023: 626-633 - [c83]Chiara Bodei, Marco De Vincenzi
From Hardware-Functional to Software-Defined Vehicles and their Security Issues. INDIN 2023: 1-10 - [c82]Chiara Bodei, Gianpiero Costantino, Marco De Vincenzi
Data Collection in Automotive: A Deep Analysis of Carmakers' Mobile App Privacy Policies. ITSC 2023: 425-432 - [c81]Gianpiero Costantino, Marco De Vincenzi
Electric Vehicle Security and Privacy: A Comparative Analysis of Charging Methods. VTC2023-Spring 2023: 1-7 - [i6]Daniele Albanese, Giuseppe Crincoli, Marco De Vincenzi, Giacomo Iadarola, Fabio Martinelli, Ilaria Matteucci, Paolo Mori:
Privacy-Preserving Data Sharing for Collaborative Analytics in Multi-Modal Transportation Systems. ERCIM News 2023(133) (2023) - 2022
- [j12]Giampaolo Bella
Designing and implementing an AUTOSAR-based Basic Software Module for enhanced security. Comput. Networks 218: 109377 (2022) - [j11]Gianpiero Costantino, Marco De Vincenzi
In-Depth Exploration of ISO/SAE 21434 and Its Correlations with Existing Standards. IEEE Commun. Stand. Mag. 6(1): 84-92 (2022) - [j10]Miguel Angel Olivero
A Delphi study to recognize and assess systems of systems vulnerabilities. Inf. Softw. Technol. 146: 106874 (2022) - [c80]Gianpiero Costantino, Marco De Vincenzi
A Comparative Analysis of UNECE WP.29 R155 and ISO/SAE 21434. EuroS&P Workshops 2022: 340-347 - [c79]Christian Plappert
SECPAT: Security Patterns for Resilient Automotive E / E Architectures. PDP 2022: 255-264 - [c78]Davide Micale, Gianpiero Costantino, Ilaria Matteucci
CAHOOT: a Context-Aware veHicular intrusiOn detectiOn sysTem. TrustCom 2022: 1211-1218 - [c77]Luca Dariz, Gianpiero Costantino, Ilaria Matteucci
Full-protocol safety analysis of CINNAMON. VTC Spring 2022: 1-7 - 2021
- [c76]Gianpiero Costantino, Ilaria Matteucci
Private Drivers Identification based on users' routine. ISPA/BDCloud/SocialCom/SustainCom 2021: 1753-1762 - [c75]Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci, Mirco Marchetti:
Towards the COSCA framework for "COnseptualing Secure CArs". Open Identity Summit 2021: 37-46 - [i5]Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci:
TOUCAN: A proTocol tO secUre Controller Area Network. CoRR abs/2111.10642 (2021) - [i4]Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci:
CINNAMON: A Module for AUTOSAR Secure Onboard Communication. CoRR abs/2111.12026 (2021) - [i3]Davide Micale, Gianpiero Costantino, Ilaria Matteucci, Giuseppe Patanè, Giampaolo Bella:
Secure Routine: A Routine-Based Algorithm for Drivers Identification. CoRR abs/2112.06200 (2021) - 2020
- [j9]Miguel Angel Olivero
Digital persona portrayal: Identifying pluridentity vulnerabilities in digital life. J. Inf. Secur. Appl. 52: 102492 (2020) - [c74]Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci
CINNAMON: A Module for AUTOSAR Secure Onboard Communication. EDCC 2020: 103-110 - [c73]Michela Fazzolari
Presente Digitale: An Online Education System for Teachers. HELMeTO 2020: 271-285 - [c72]Gianpiero Costantino, Luca Dariz, Ilaria Matteucci
Analysis of Functional Safety in a secure implementation of CAN Protocol. INDIN 2020: 134-141 - [c71]Gianpiero Costantino, Ilaria Matteucci
EARNEST: A challenge-based intrusion prevention system for CAN messages. ISSRE Workshops 2020: 243-248
2010 – 2019
- 2019
- [c70]Giampaolo Bella
TOUCAN: A proTocol tO secUre Controller Area Network. AutoSec@CODASPY 2019: 3-8 - [c69]Gianpiero Costantino, Ilaria Matteucci
CANDY CREAM - Hacking Infotainment Android Systems to Command Instrument Cluster via Can Data Frame. CSE/EUC 2019: 476-481 - [c68]Miguel Angel Olivero
Security assessment of systems of systems. SESoS-WDES@ICSE 2019: 62-65 - [c67]Pietro Biondi
Implementing CAN bus security by TOUCAN. MobiHoc 2019: 399-400 - [c66]Gianpiero Costantino, Ilaria Matteucci
Demo: CANDY CREAM. SAFECOMP Workshops 2019: 203-209 - [c65]Miguel Angel Olivero
Addressing Security Properties in Systems of Systems: Challenges and Ideas. SERENE 2019: 138-146 - [c64]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
A Privacy-Preserving Infrastructure for Driver's Reputation Aware Automotive Services. STAST 2019: 159-174 - [c63]Giampaolo Bella
Are you secure in your car?: poster. WiSec 2019: 308-309 - 2018
- [j8]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci
Risk analysis of Android applications: A user-centric solution. Future Gener. Comput. Syst. 80: 505-518 (2018) - [j7]Antonia Bertolino
A tour of secure software engineering solutions for connected vehicles. Softw. Qual. J. 26(4): 1223-1256 (2018) - [c62]Udo Bub, Ajantha Dahanayake, Jérôme Darmont, Claudia Diamantini, Fabio Fassetti, Eduardo Fermé
Contributions from ADBIS 2018 Workshops. ADBIS (Short Papers and Workshops) 2018: 91-102 - [c61]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
CARS: Context Aware Reputation Systems to Evaluate Vehicles' Behaviour. PDP 2018: 446-453 - [c60]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
Improving Vehicle Safety Through a Fog Collaborative Infrastructure. SMARTCOMP 2018: 446-451 - [c59]Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Ilaria Matteucci
CANDY: A Social Engineering Attack to Leak Information from Infotainment System. VTC Spring 2018: 1-5 - [c58]Francesco Di Cerbo, Alessio Lunardelli, Ilaria Matteucci
A Declarative Data Protection Approach: From Human-Readable Policies to Automatic Enforcement. WEBIST (Revised Selected Papers) 2018: 78-98 - [c57]Francesco Di Cerbo, Fabio Martinelli, Ilaria Matteucci
Towards a Declarative Approach to Stateful and Stateless Usage Control for Data Protection. WEBIST 2018: 308-315 - 2017
- [c56]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
Reputation Systems to Mitigate DoS Attack in Vehicular Network. CRITIS 2017: 261-265 - [c55]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
Efficient Detection of Conflicts in Data Sharing Agreements. ICISSP (Revised Selected Papers) 2017: 148-172 - [c54]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
Analysis of Data Sharing Agreements. ICISSP 2017: 167-178 - [c53]Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
A Quantitative Partial Model-Checking Function and Its Optimisation. LPAR 2017: 319-337 - [c52]Fabio Martinelli, Ilaria Matteucci
Concurrent History-based Usage Control Policies. MODELSWARD 2017: 657-666 - 2016
- [j6]Cesario Di Sarno, Alessia Garofalo, Ilaria Matteucci
A novel security information and event management system for enhancing cyber security in a hydroelectric dam. Int. J. Crit. Infrastructure Prot. 13: 39-51 (2016) - [c51]José Fran. Ruiz, Marinella Petrocchi, Ilaria Matteucci
A Lifecycle for Data Sharing Agreements: How it Works Out. APF 2016: 3-20 - [c50]Silvia Bonomi
Introduction to ReSA4CI 2016. DSN Workshops 2016: 136 - [c49]Ilaria Matteucci
Decomposing Global Quantitative Properties into Local Ones. DPM/QASA@ESORICS 2016: 34-50 - [c48]Stefano Bistarelli
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. FACS 2016: 134-152 - [c47]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
Exploiting Vehicles' Reputation to Mitigate DoS Attack. AMARETTO@MODELSWARD 2016: 75-82 - [c46]Nicola Nostro, Ilaria Matteucci
A multi-criteria ranking of security countermeasures. SAC 2016: 530-533 - [c45]Stefano Bistarelli
Automated adaptation via quantitative partial model checking. SAC 2016: 1993-1996 - [c44]Fabio Martinelli, Ilaria Matteucci
Enforcement of U-XACML History-Based Usage Control Policy. STM 2016: 64-81 - [i2]Carmela Gambardella, Ilaria Matteucci, Marinella Petrocchi:
Data Sharing Agreements: How to Glue Definition, Analysis and Mapping Together. ERCIM News 2016(106) (2016) - 2015
- [j5]Marco Casassa Mont
Towards safer information sharing in the cloud. Int. J. Inf. Sec. 14(4): 319-334 (2015) - [c43]Fabio Martinelli, Ilaria Matteucci
There are Two Sides to Every Question - Controller Versus Attacker. Programming Languages with Applications to Biology and Security 2015: 304-318 - [c42]Ilaria Matteucci
1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and Security (TELERISE 2015). ICSE (2) 2015: 1015-1016 - [c41]Fabio Martinelli, Ilaria Matteucci
Semiring-based Specification Approaches for Quantitative Security. QAPL 2015: 95-109 - [e1]Ilaria Matteucci, Paolo Mori, Marinella Petrocchi:
1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, TELERISE 2015, Florence, Italy, May 18, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7097-4 [contents] - 2014
- [j4]Vincenzo Ciancia
Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. 5(2): 44-64 (2014) - [c40]Marina Egea, Ilaria Matteucci
Definition of Data Sharing Agreements - The Case of Spanish Data Protection Law. A4Cloud 2014: 248-272 - [c39]Stefania Gnesi, Ilaria Matteucci
My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. APF 2014: 154-171 - [c38]Riccardo Conti, Ilaria Matteucci
An Expertise-Driven Authoring Tool for E-Health Data Policies. CBMS 2014: 82-87 - [c37]Riccardo Conti, Emanuel Marzini
Maturity Assessment of Wikipedia Medical Articles. CBMS 2014: 281-286 - [c36]Jerry den Hartog, Ilaria Matteucci
Introducing Probabilities in Controller Strategies. DPM/SETOP/QASA 2014: 233-249 - [c35]Fabio Martinelli, Ilaria Matteucci, Andrea Saracino
Enforcing Mobile Application Security Through Probabilistic Contracts. ESSoS Doctoral Symposium 2014 - [c34]Emanuel Marzini, Angelo Spognardi, Ilaria Matteucci
Improved Automatic Maturity Assessment of Wikipedia Medical Articles - (Short Paper). OTM Conferences 2014: 612-622 - [c33]Nicola Nostro
On Security Countermeasures Ranking through Threat Analysis. SAFECOMP Workshops 2014: 243-254 - [c32]Silvia Bonomi
Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014). SAFECOMP Workshops 2014: 301-303 - [p2]José Antonio Martín, Fabio Martinelli, Ilaria Matteucci
On the Synthesis of Secure Services Composition. Engineering Secure Future Internet Services and Systems 2014: 140-159 - [p1]Riccardo Conti, Alessio Lunardelli, Ilaria Matteucci
Preserving Data Privacy in e-Health. Engineering Secure Future Internet Services and Systems 2014: 366-392 - [i1]Alessia Garofalo, Cesario Di Sarno, Ilaria Matteucci, Marco Vallini, Valerio Formicola:
Closing the loop of SIEM analysis to Secure Critical Infrastructures. CoRR abs/1405.2995 (2014) - 2013
- [c31]Vincenzo Ciancia
Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES 2013: 455-464 - [c30]Alessio Lunardelli, Ilaria Matteucci
A prototype for solving conflicts in XACML-based e-Health policies. CBMS 2013: 449-452 - [c29]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci
Introducing Probabilities in Contract-Based Approaches for Mobile Application Security. DPM/SETOP 2013: 284-299 - [c28]Fabio Martinelli, Ilaria Matteucci
Partial Model Checking for the Verification and Synthesis of Secure Service Compositions. EuroPKI 2013: 1-11 - [c27]Vincenzo Ciancia
Quantitative Evaluation of Enforcement Strategies - Position Paper. FPS 2013: 178-186 - [c26]Fabio Martinelli, Ilaria Matteucci
Remote Policy Enforcement for Trusted Application Execution in Mobile Environments. INTRUST 2013: 70-84 - [c25]Gianluca Dini
Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach. TrustCom/ISPA/IUCC 2013: 1541-1546 - 2012
- [j3]Gabriele Costa
Gate automata-driven run-time enforcement. Comput. Math. Appl. 63(2): 518-524 (2012) - [j2]Fabio Martinelli, Ilaria Matteucci
A framework for automatic generation of security controller. Softw. Test. Verification Reliab. 22(8): 563-582 (2012) - [c24]Fabio Martinelli, Ilaria Matteucci
A Formal Support for Collaborative Data Sharing. CD-ARES 2012: 547-561 - [c23]Ilaria Matteucci
Prioritized Execution of Privacy Policies. DPM/SETOP 2012: 133-145 - [c22]Gianluca Dini
A Multi-criteria-Based Evaluation of Android Applications. INTRUST 2012: 67-82 - [c21]Fabio Martinelli, Ilaria Matteucci
From Qualitative to Quantitative Enforcement of Security Policy. MMM-ACNS 2012: 22-35 - [c20]Vincenzo Ciancia
A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS 2012: 10 - 2011
- [c19]Ilaria Matteucci
A Design Phase for Data Sharing Agreements. DPM/SETOP 2011: 25-41 - [c18]Fabio Martinelli, Ilaria Matteucci
Preserving security properties under refinement. SESS@ICSE 2011: 15-21 - [c17]Gabriele Costa
Trust-Driven Policy Enforcement through Gate Automata. IMIS 2011: 208-215 - [c16]Gabriele Costa
Elective temporal logic. QoSA/ISARCS 2011: 143-152 - [c15]Gabriele Costa
Security and Trust. SFM 2011: 393-416 - [c14]Ilaria Matteucci
Controlled data sharing in E-health. STAST 2011: 17-23 - 2010
- [j1]Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci:
Security-by-Contract-with-Trust for Mobile Devices. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 1(4): 75-91 (2010) - [c13]Gabriele Costa
Extending Security-by-Contract with Quantitative Trust on Mobile Devices. CISIS 2010: 872-877 - [c12]Ilaria Matteucci
CNL4DSA: a controlled natural language for data sharing agreements. SAC 2010: 616-620
2000 – 2009
- 2009
- [c11]Fabio Martinelli, Ilaria Matteucci
Idea: Action Refinement for Security Properties Enforcement. ESSoS 2009: 37-42 - 2008
- [c10]Fabio Martinelli, Ilaria Matteucci
Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES 2008: 1120-1127 - [c9]Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201 - [c8]Paolo Greci, Fabio Martinelli, Ilaria Matteucci
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA 2008: 221-236 - [c7]Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci
Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117 - [c6]Roberto Gorrieri
Towards Information Flow Properties for Distributed Systems. VODCA@FOSAD 2008: 65-84 - 2007
- [c5]Fabio Martinelli, Ilaria Matteucci
Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM 2007: 124-138 - 2006
- [c4]Ilaria Matteucci
A Tool for the Synthesis of Controller Programs. Formal Aspects in Security and Trust 2006: 112-126 - [c3]Fabio Martinelli, Ilaria Matteucci
An Approach for the Specification, Verification and Synthesis of Secure Systems. VODCA@FOSAD 2006: 29-43 - [c2]Fabio Martinelli, Ilaria Matteucci
Through Modeling to Synthesis of Security Automata. STM 2006: 31-46 - [c1]Ilaria Matteucci
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting. ICS@SYNASC 2006: 101-120
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: