arXiv subjects

Alessandro Savino

Publications and source records attributed to Alessandro Savino.

78 records · Page 5Linked to original sources

arXiv2022

LIN-MM: Multiplexed Message Authentication Code for Local Interconnect Network message authentication in road vehicles

The automotive market is profitable for cyberattacks with the constant shift toward interconnected vehicles. Electronic Control Units (ECUs) installed on cars often operate in a critical and hostile environment. Hence, both carmakers and governments have supported initiatives to mitigate risks and threats belonging to the automotive domain. The Local Interconnect Network (LIN) is one of the most used communication protocols in the automotive field. Today's LIN buses have just a few light security mechanisms to assure integrity through Message Authentication Codes (MAC). However, several limitations with strong constraints make applying those techniques to LIN networks challenging, leaving several vehicles still unprotected. This paper presents LIN Multiplexed MAC (LINMM), a new approach for exploiting signal modulation to multiplex MAC data with standard LIN communication. LINMM allows for transmitting MAC payloads, maintaining fullback compatibility with all versions of the standard LIN protocol.

cs.CR↗

arXiv2022

Spiker: an FPGA-optimized Hardware acceleration for Spiking Neural Networks

Spiking Neural Networks (SNN) are an emerging type of biologically plausible and efficient Artificial Neural Network (ANN). This work presents the development of a hardware accelerator for a SNN for high-performance inference, targeting a Xilinx Artix-7 Field Programmable Gate Array (FPGA). The model used inside the neuron is the Leaky Integrate and Fire (LIF). The execution is clock-driven, meaning that the internal state of the neuron is updated at every clock cycle, even in absence of spikes. The inference capabilities of the accelerator are evaluated using the MINST dataset. The training is performed offline on a full precision model. The results show a good improvement in performance if compared with the state-of-the-art accelerators, requiring 215μs per image. The energy consumption is slightly higher than the most optimized design, with an average value of 13mJ per image. The test design consists of a single layer of four-hundred neurons and uses around 40% of the available resources on the FPGA. This makes it suitable for a time-constrained application at the edge, leaving space for other acceleration tasks on the FPGA.

cs.NE↗

arXiv2022

EXT-TAURUM P2T: an Extended Secure CAN-FD Architecture for Road Vehicles

The automobile industry is no longer relying on pure mechanical systems; instead, it benefits from advanced Electronic Control Units (ECUs) in order to provide new and complex functionalities in the effort to move toward fully connected cars. However, connected cars provide a dangerous playground for hackers. Vehicles are becoming increasingly vulnerable to cyber attacks as they come equipped with more connected features and control systems. This situation may expose strategic assets in the automotive value chain. In this scenario, the Controller Area Network (CAN) is the most widely used communication protocol in the automotive domain. However, this protocol lacks encryption and authentication. Consequently, any malicious/hijacked node can cause catastrophic accidents and financial loss. Starting from the analysis of the vulnerability connected to the CAN communication protocol in the automotive domain, this paper proposes EXT-TAURUM P2T a new low-cost secure CAN-FD architecture for the automotive domain implementing secure communication among ECUs, a novel key provisioning strategy, intelligent throughput management, and hardware signature mechanisms. The proposed architecture has been implemented, resorting to a commercial Multi-Protocol Vehicle Interface module, and the obtained results experimentally demonstrate the approach's feasibility.

cs.CR↗

arXiv2022

Using analog scrambling circuits for automotive sensor integrity and authenticity

The automotive domain rapidly increases the embedded amount of complex and interconnected electronics systems. A considerable proportion of them are real-time safety-critical devices and must be protected against cybersecurity attacks. Recent regulations impose carmakers to protect vehicles against replacing trusted electronic hardware and manipulating the information collected by sensors. Analog sensors are critical elements whose security is now strictly regulated by the new UN R155 recommendation but lacks well-developed and established solutions. This work takes a step forward in this direction, adding integrity and authentication to automotive analog sensors proposing a schema to create analog signatures based on a scrambling mechanism implemented with commercial-of-the-shelf (COTS) operational amplifiers. The proposed architecture implements a hardware secret and a hard-to-invert exponential function to generate a signal's signature. A prototype of the circuit was implemented and simulated on LTspice. Preliminary results show the feasibility of the proposed schema and provide interesting hints for further developments to increase the robustness of the approach.

cs.CR↗

arXiv2019

Securing Soft IP Cores in FPGA based Reconfigurable Mobile Heterogeneous Systems

The mobile application market is rapidly growing and changing, offering always brand new software to install in increasingly powerful devices. Mobile devices become pervasive and more heterogeneous, embedding latest technologies such as multicore architectures, special-purpose circuits and reconfigurable logic. In a future mobile market scenario reconfigurable systems are employed to provide high-speed functionalities to assist execution of applications. However, new security concerns are introduced. In particular, protecting the Intellectual Property of the exchanged soft IP cores is a serious concern. The available techniques for preserving integrity, confidentiality and authenticity suffer from the limitation of heavily relying onto the system designer. In this paper we propose two different protocols suitable for the secure deployment of soft IP cores in FPGA-based mobile heterogeneous systems where multiple independent actors are involved: a simple scenario requiring trust relationship between entities, and a more complex scenario where no trust relationship exists through adoption of the Direct Anonymous Attestation protocol. Finally, we provide a prototype implementation of the proposed architectures.

cs.CR↗

arXiv2015

Inclusion of Horizontal Branch stars in the derivation of star formation histories of dwarf galaxies: the Carina dSph

We present a detailed analysis of the Horizontal Branch of the Carina Dwarf Spheroidal Galaxy by means of synthetic modelling techniques, taking consistently into account the star formation history and metallicity evolution as determined from main sequence and red giant branch spectroscopic observations. We found that a range of integrated red giant branch mass loss values of 0.1-0.14 M, increasing with metallicity, is able to reproduce the colour extension of the old Horizontal Branch. However, leaving the mass loss as the only free parameter is not enough to match the detailed morphology of Carina Horizontal Branch. We explored the role played by the star formation history on the discrepancies between synthetic and observed Horizontal Branches. We derived a toy bursty star formation history that reproduces the horizontal branch star counts, and also matches qualitatively the red giant and the turn off regions. This star formation history is made of a subset of age and [M/H] components of the star formation history based on turn off and red giants only, and entails four separate bursts of star formation of different strenghts, centred at 2, 5, 8.6 and 11.5 Gyr, with mean [M/H] decreasing from \sim -1.7 to \sim -2.2 for increasing ages, and a Gaussian spread of 0.1 dex. The comparison between the metallicity distribution function of our star formation history and the one measured from the infrared CaT feature using a CaT-[Fe/H] calibration shows a qualitative agreement, once taken into account the range of [Ca/Fe] abundances measured in a sample of Carina stars, that biases the derived [Fe/H] distribution toward too low values. In conclusion, we have shown how the information contained within the horizontal branch of Carina (and dwarf galaxies in general) can be extracted and interpreted to refine the star formation history derived from red giants and turn off stars only. Abridged

astro-ph.GA↗