English
Related papers

Related papers: MISRA C, for Security's Sake!

200 papers

The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a…

Programming Languages · Computer Science 2018-09-05 Roberto Bagnara , Abramo Bagnara , Patricia M. Hill

MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175…

Programming Languages · Computer Science 2021-12-28 Roberto Bagnara , Abramo Bagnara , Patricia M. Hill

The Rust programming language is increasingly being considered for safety-critical system development. However, established safety standards such as ISO 26262 require the use of coding guidelines that do not yet exist for Rust. This paper…

Software Engineering · Computer Science 2026-05-25 Marius Molz , Niels Schneider , Sven Lechner , Stefan Kowalewski , Alexandru Kampmann

The Barr Group's Embedded C Coding Standard (BARR-C:2018, which originates from the 2009 Netrino's Embedded C Coding Standard) is, for coding standards used by the embedded system industry, second only in popularity to MISRA C. However, the…

Programming Languages · Computer Science 2020-03-17 Roberto Bagnara , Michael Barr , Patricia M. Hill

The rapid advancement of Internet-connected vehicle technologies has introduced a new era of smart mobility, while simultaneously raising significant cybersecurity and privacy concerns. This paper explores the evolving threat landscape…

Cryptography and Security · Computer Science 2025-08-22 Henrietta Hegyi , Laszlo Erdodi

The automotive industry is experiencing a massive paradigm shift. Cars are becoming increasingly autonomous, connected, and computerized. Modern electrical/electronic (E/E) architectures are pushing for an unforeseen functionality…

Cryptography and Security · Computer Science 2024-10-15 Sandro Pinto , Jose Martins , Manuel Rodriguez , Luis Cunha , Georg Schmalz , Uwe Moslehner , Kai Dieffenbach , Thomas Roecker

The increase in popularity of connected features in intelligent transportation systems, has led to a greater risk of cyber-attacks and subsequently, requires a more robust validation of cybersecurity in vehicle design. This article explores…

Cryptography and Security · Computer Science 2025-11-14 Phillip Garrad , Shane Gilroy

As a result of the ever-increasing application of cyber-physical components in the automotive industry, cybersecurity has become an urgent topic. Adapting technologies and communication protocols like Ethernet and WiFi in connected vehicles…

Cryptography and Security · Computer Science 2023-01-02 Masoud Ebrahimi , Christoph Striessnig , Joaquim Castella Triginer , Christoph Schmittner

Since its introduction in 2012, the Combined Charging System (CCS) has emerged as the leading technology for EV fast charging in Europe, North America and parts of Asia. The charging communication of CCS is defined by the ISO 15118…

Cryptography and Security · Computer Science 2025-02-04 Marcell Szakály , Sebastian Köhler , Ivan Martinovic

The rapid integration of Internet of Things (IoT) and interconnected systems in modern vehicles not only introduced a new era of convenience, automation, and connected vehicles but also elevated their exposure to sophisticated cyber…

Cryptography and Security · Computer Science 2025-08-27 Muhammad Ali Nadeem , Bishwo Prakash Pokharel , Naresh Kshetri , Achyut Shankar , Gokarna Sharma

Nowadays, systematic security risk analysis plays a vital role in the automotive domain. The demand for advanced driver assistance systems and connectivity of vehicles to the internet makes cyber-security a crucial requirement for vehicle…

Cryptography and Security · Computer Science 2023-07-06 Mohamed Abouelnaga , Christine Jakobs

The automotive industry has evolved significantly since the introduction of the Ford Model T in 1908. Today's vehicles are not merely mechanical constructs; they are integral components of a complex digital ecosystem, equipped with advanced…

Cryptography and Security · Computer Science 2024-12-23 Franco Oberti , Fabrizio Abrate , Alessandro Savino , Filippo Parisi , Stefano Di Carlo

The advancing digitalization of vehicles and automotive systems bears many advantages for creating and enhancing comfort and safety-related systems ranging from drive-by-wire, inclusion of advanced displays, entertainment systems up to…

Cryptography and Security · Computer Science 2019-11-18 Stefan Marksteiner , Zhendong Ma

Security Assurance Cases (SAC) are structured bodies of arguments and evidence used to reason about security properties of a certain artefact. SAC are gaining focus in the automotive domain as the need for security assurance is growing due…

Cryptography and Security · Computer Science 2024-09-10 Mazen Mohamad

Electric vehicles (EVs) are key to alleviate our dependency on fossil fuels. The future smart grid is expected to be populated by millions of EVs equipped with high-demand batteries. To avoid an overload of the (current) electricity grid,…

Cryptography and Security · Computer Science 2022-09-19 Roberto Metere , Zoya Pourmirza , Sara Walker , Myriam Neaimeh

In recent years, the countries of the world have drafted the specifications of connected cars; for instance, the Security Credential Management System (SCMS) has been proposed by United States Department of Transportation (USDOT), and the…

Networking and Internet Architecture · Computer Science 2024-07-19 Abel C. H. Chen , Chia-Shen Chang

The increasing demand for connectivity in safety-critical domains has made security assurance a crucial consideration. In safety-critical industry, software, and connectivity have become integral to meeting market expectations. Regulatory…

Software Engineering · Computer Science 2025-01-28 Mazen Mohamad

Current vehicular Intrusion Detection and Prevention Systems either incur high false-positive rates or do not capture zero-day vulnerabilities, leading to safety-critical risks. In addition, prevention is limited to few primitive options…

Cryptography and Security · Computer Science 2023-07-11 Ali Shoker , Vincent Rahli , Jeremie Decouchant , Paulo Esteves-Verissimo

Safety-critical systems are engineered systems whose failure or malfunction could result in catastrophic consequences. The software development for safety-critical systems necessitates rigorous engineering practices and adherence to…

Software Engineering · Computer Science 2025-11-25 Malik Muhammad Umer

Various researchers have shown that the Common Vulnerability Scoring System (CVSS) has many drawbacks and may not provide a precise view of the risks related to software vulnerabilities. However, many threat intelligence platforms and…

Cryptography and Security · Computer Science 2018-07-30 Milda Petraityte , Ali Dehghantanha , Gregory Epiphaniou
‹ Prev 1 2 3 10 Next ›