[HTML][HTML] State of data platforms for connected vehicles and infrastructures

KL Lim, J Whitehead, D Jia, Z Zheng - Communications in transportation …, 2021 - Elsevier
The continuing expansion of connected and electro-mobility products and services has led
to their ability to rapidly generate very large amounts of data, leading to a demand for …

Formal methods and validation techniques for ensuring automotive systems security

M Krichen - Information, 2023 - mdpi.com
The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

SOME/IP intrusion detection using deep learning-based sequential models in automotive ethernet networks

N Alkhatib, H Ghauch, JL Danger - 2021 IEEE 12th annual …, 2021 - ieeexplore.ieee.org
Intrusion Detection Systems are widely used to detect cyberattacks, especially on protocols
vulnerable to hacking attacks such as SOME/IP. In this paper, we present a deep learning …

Analyzing and securing SOME/IP automotive services with formal and practical methods

D Zelle, T Lauser, D Kern, C Krauß - Proceedings of the 16th …, 2021 - dl.acm.org
Automotive Ethernet is increasingly used in modern vehicles and complements or replaces
legacy bus systems such as CAN. Ethernet also enables service-oriented communication …

Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication 1

S Paul, P Scheible, F Wiemer - Journal of Computer Security, 2022 - content.iospress.com
The threat of a cryptographically relevant quantum computer contributes to an increasing
interest in the field of post-quantum cryptography (PQC). Compared to existing research …

Gatekeeper: A gateway-based broadcast authentication protocol for the in-vehicle Ethernet

S Hu, Q Zhang, A Weimerskirch, ZM Mao - … of the 2022 ACM on Asia …, 2022 - dl.acm.org
Automotive Ethernet is considered to be the next-generation in-vehicle network, because of
its high bandwidth, high throughput, and low cost characteristics. However, no common …

A Systematic Review on Security Attacks and Countermeasures in Automotive Ethernet

M De Vincenzi, G Costantino, I Matteucci… - ACM Computing …, 2024 - dl.acm.org
In the past years, the automotive industry has experienced a technological revolution driven
by the increasing demand of connectivity and data to develop driver-assistance systems and …

Formal analysis of an AUTOSAR-based basic software module

C Bodei, M De Vincenzi, I Matteucci - International Journal on Software …, 2024 - Springer
The widespread use of advanced driver assistance systems in modern vehicles, together
with their integration with the Internet and other road nodes, has made vehicle more …

SOME/IP intrusion detection system using real-time and retroactive anomaly detection

T Koyama, M Tanaka, A Miyajima… - 2022 IEEE 95th …, 2022 - ieeexplore.ieee.org
As the amount of in-vehicle data and number of in-vehicle functions have increased,
automotive Ethernet and IP-based protocols have been adopted in vehicles. The scalable …

Security protocols for ethernet-based in-vehicle communication

T Lauser, D Zelle, D Kern, C Krauß… - 2024 IEEE Vehicular …, 2024 - ieeexplore.ieee.org
Automotive Electrical and Electronic (EIE) archi-tectures are rapidly evolving. With the
transition towards au-tomotive Ethernet, service-oriented communication, and zonal …