English
Related papers

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

200 papers

Scalable service-Oriented Middleware over IP (SOME/IP) is an Ethernet communication standard protocol in the Automotive Open System Architecture (AUTOSAR), promoting ECU-to-ECU communication over the IP stack. However, SOME/IP lacks a…

Cryptography and Security · Computer Science 2024-02-26 Qi Liu , Xingyu Li , Ke Sun , Yufeng Li , Yanchen Liu

Given the promising future of autonomous vehicles, it is foreseeable that self-driving cars will soon emerge as the predominant mode of transportation. While autonomous vehicles offer enhanced efficiency, they remain vulnerable to external…

Cryptography and Security · Computer Science 2026-02-17 Saurav Silwal , Lu Gao , Ph. D. Yunpeng Zhang , Ph. D. Ahmed Senouci , Ph. D. Yi-Lung Mo , Ph. D. , P. E

Vehicle-to-Everything (V2X) communication is receiving growing attention from industry and academia as multiple pilot projects explore its capabilities and feasibility. With about 50\% of global road vehicle exports coming from the European…

Cryptography and Security · Computer Science 2022-09-01 Takahito Yoshizawa , Dave Singelée , Jan Tobias Muehlberg , Stéphane Delbruel , Amir Taherkordi , Danny Hughes , Bart Preneel

OS compromise is one of the most serious computer security problems today, but still not being resolved. Although people proposed different kinds of methods, they could not be accepted by most users who are non-expert due to the lack of…

Operating Systems · Computer Science 2016-09-06 Zhiyong Shan

Software has become an integral part of everyday life. Everyday, millions of people perform transaction through internet, ATM, mobile phone, they send email and Egreetings, and use word processing and spreadsheet for various purpose. People…

Software Engineering · Computer Science 2009-11-04 C. Banerjee , S. K. Pandey

Due to the current standard of Security Credential Management System (SCMS) for Vehicle-to-Everything (V2X) communications using asymmetric cryptography, specifically Elliptic-Curve Cryptography (ECC), which may be vulnerable to quantum…

Cryptography and Security · Computer Science 2025-01-14 Abel C. H. Chen , Bon-Yeh Lin

Cyber-physical systems (CPS) and Internet-of-Things (IoT) devices are increasingly being deployed across multiple functionalities, ranging from healthcare devices and wearables to critical infrastructures, e.g., nuclear power plants,…

Cryptography and Security · Computer Science 2022-10-21 Tanujay Saha , Najwa Aaraj , Neel Ajjarapu , Niraj K. Jha

Code-expanded Random Access (CeRA) is a promising technique for supporting mMTC in cellular IoT networks. However, its potentiality is limited by code ambiguity, which results from the inference of a larger number of codewords than those…

Information Theory · Computer Science 2021-05-28 Carlos A. Astudillo , Ekram Hossain , Nelson L. S. da Fonseca

Side-channel attacks extracting sensitive data from implementations have been considered a major threat to the security of cryptographic schemes. This has elevated the need for improved designs by embodying countermeasures, with masking…

Cryptography and Security · Computer Science 2021-07-01 Ana Covic , Fatemeh Ganji , Domenic Forte

In recent years, car makers and tech companies have been racing towards self driving cars. It seems that the main parameter in this race is who will have the first car on the road. The goal of this paper is to add to the equation two…

Robotics · Computer Science 2018-10-30 Shai Shalev-Shwartz , Shaked Shammah , Amnon Shashua

Compliance as code is an emerging idea about automating compliance through programmed compliance controls and checks. Given scant existing research thus far, the paper presents an empirical analysis of a compliance as code project…

Software Engineering · Computer Science 2026-03-03 Jukka Ruohonen , Esmot Ara Tuli , Hiraku Morita

To incorporate the computation and communication with the physical world, next generation architecture i.e. CPS is viewed as a new technology. To improve the better interaction with the physical world or to perk up the electricity delivery…

Other Computer Science · Computer Science 2014-01-16 Ankit Mundra , Geetanjali Rathee , Meenu Chawla , Nitin Rakesh , Ashsutosh Soni

As quantum computing hardware continues to advance, the integration of such technology with quantum algorithms is anticipated to enable the decryption of ciphertexts produced by RSA and Elliptic Curve Cryptography (ECC) within polynomial…

Cryptography and Security · Computer Science 2026-03-05 Abel C. H. Chen

Connected and autonomous vehicles, also known as CAVs, are a general trend in the evolution of the automotive industry that can be utilized to make transportation safer, improve the number of mobility options available, user costs will go…

Cryptography and Security · Computer Science 2023-10-17 S M Mostaq Hossain , Shampa Banik , Trapa Banik , Ashfak Md Shibli

Recent measurements of the Windows code-signing certificate ecosystem have highlighted various forms of abuse that allow malware authors to produce malicious code carrying valid digital signatures. However, the underground trade that allows…

Cryptography and Security · Computer Science 2019-02-15 Kristián Kozák , Bum Jun Kwon , Doowon Kim , Tudor Dumitraş

Maritime systems, including ships and ports, are critical components of global infrastructure, essential for transporting over 80% of the world's goods and supporting internet connectivity. However, these systems face growing cybersecurity…

Cryptography and Security · Computer Science 2025-07-16 Anna Raymaker , Akshaya Kumar , Miuyin Yong Wong , Ryan Pickren , Animesh Chhotaray , Frank Li , Saman Zonouz , Raheem Beyah

The ongoing change in Earth`s climate is causing an increase in the frequency and severity of climate-related hazards, for example, from coastal flooding, riverine flooding, and tropical cyclones. There is currently an urgent need to…

General Economics · Economics 2023-11-09 Edward J. Oughton , Tom Russell , Jeongjin Oh , Sara Ballan , Jim W. Hall

Trust is an absolute necessity for digital communications; but is often viewed as an implicit singular entity. The use of the internet as the primary vehicle for information exchange has made accountability and verifiability of system code…

Cryptography and Security · Computer Science 2014-03-04 Orhio Mark Creado , Bala Srinivasan , Phu Dung Le , Jefferson Tan

The globalization of the semiconductor industry has introduced security challenges to Integrated Circuits (ICs), particularly those related to the threat of Hardware Trojans (HTs) - malicious logic that can be introduced during IC…

Cryptography and Security · Computer Science 2024-08-29 Mohammad Eslami , Tara Ghasempouri , Samuel Pagliarini

In Vehicle-to-Everything (V2X) communications, providing accurate information and safeguarding the privacy of end entities is one of the crucial information security issues. Therefore, several international standardization organizations…

Cryptography and Security · Computer Science 2024-02-05 Abel C. H. Chen , Cheng-Kang Liu , Chun-Feng Lin , Bon-Yeh Lin