Cyber-physical systems are integrations of computation, networking, and physical
processes. Due to the tight cyber-physical coupling and to the potentially disrupting …

Current trends forecast that Over-the-Air (OTA) software updates will be highly significant for
future connected vehicles. The OTA update will enable upgrading the vehicle functionalities …

This survey highlights and discusses remote OTA software updates in the automotive sector,
mainly from the security perspective. In particular, the major objective of this survey is to …

In recent years, significant developments were introduced within the vehicular domain,
evolving the vehicles to become a network of many embedded systems which depend on a …

The main focus of the paper is to secure the onboard communication of automobiles. The
current trend in the automotive domain is to incorporate technologies known from the …

Our world is evolving into a landscape of smart cities, with intelligent connected vehicles
(ICVs) occupying a central role in the paradigm of smart mobility. To ensure road safety …

Over the past few years, significant developments were introduced within the vehicular
domain. The modern vehicle becomes a network of dozens of embedded systems which …

We demonstrate, by a number of examples, that information flow security properties can be
proved from abstract architectural descriptions, which describe only the causal structure of a …

This study provides information about smart cars and some of the technologies and
researches on smart cars. It then describes the modeling of security attacks in smart cars in …

In this paper, cryptographic schemes are applied to Ethernet-based layer-2 communication
to provide authenticated encryption to safety-critical automotive control data. Confidentiality …