English
Related papers

Related papers: A Distributed `Black Box' Audit Trail Design Speci…

200 papers

Federated learning combined with blockchain empowers secure data sharing in autonomous driving applications. Nevertheless, with the increasing granularity and complexity of vehicle-generated data, the lack of data quality audits raises…

Machine Learning · Computer Science 2024-07-30 Weiliang Chen , Li Jia , Yang Zhou , Qianqian Ren

Platooning technologies enable trucks to drive cooperatively and automatically, providing benefits including less fuel consumption, greater road capacity, and safety. This paper introduces an aggregated zero-knowledge proof and…

Cryptography and Security · Computer Science 2023-06-01 Wanxin Li , Collin Meese , Hao Guo , Mark Nejad

Multiple studies have illustrated the potential for dramatic societal, environmental and economic benefits from significant penetration of autonomous driving. However, all the current approaches to autonomous driving require the automotive…

Computers and Society · Computer Science 2018-02-13 Swaminathan Gopalswamy , Sivakumar Rathinam

Software-Defined Vehicles (SDVs) introduce innovative features that extend the vehicle's lifecycle through the integration of outsourced applications and continuous Over-The-Air (OTA) updates. This shift necessitates robust cybersecurity…

Cryptography and Security · Computer Science 2025-10-14 Khaoula Sghaier , Badis Hammi , Ghada Gharbi , Pierre Merdrignac , Pierre Parrend , Didier Verna

Today's vehicles are becoming cyber-physical systems that do not only communicate with other vehicles but also gather various information from hundreds of sensors within them. These developments help create smart and connected (e.g.,…

Cryptography and Security · Computer Science 2018-11-09 Mumin Cebe , Enes Erdin , Kemal Akkaya , Hidayet Aksu , Selcuk Uluagac

Audit logs serve as a critical component in the enterprise business systems that are used for auditing, storing, and tracking changes made to the data. However, audit logs are vulnerable to a series of attacks, which enable adversaries to…

Cryptography and Security · Computer Science 2018-11-27 Ashar Ahmad , Muhammad Saad , Mostafa Bassiouni , Aziz Mohaisen

This article introduces a framework that is meant to assist in mitigating societal risks that software can pose. Concretely, this encompasses facets of software doping as well as unfairness and discrimination in high-risk decision-making…

Computers and Society · Computer Science 2023-08-14 Sebastian Biewer , Kevin Baum , Sarah Sterz , Holger Hermanns , Sven Hetmank , Markus Langer , Anne Lauber-Rönsberg , Franz Lehr

This paper describes how to proficiently prevent software defects in autonomous vehicles, discover and correct defects if they are encountered, and create a higher level of assurance in the software product development phase. It also…

Software Engineering · Computer Science 2024-11-22 Sneha Sudhir Shetiya , Vikas Vyas , Shreyas Renukuntla

The emergence of intelligent, connected vehicles, containing complex functionality has potential to greatly benefit society by improving safety, security and efficiency of vehicular transportation. Much of this has been enabled by…

Cryptography and Security · Computer Science 2020-04-23 Fahad Siddiqui , Matthew Hagan , Sakir Sezer

Vehicle computing represents a fundamental shift in how autonomous vehicles are designed and deployed, transforming them from isolated transportation systems into mobile computing platforms that support both safety-critical, real-time…

Operating Systems · Computer Science 2026-01-26 Yuxin Wang , Yuankai He , Boyang Tian , Lichen Xian , Weisong Shi

In case of an accident between two autonomous vehicles equipped with emerging technologies, how do we apportion liability among the various players? A special liability regime has not even yet been established for damages that may arise due…

Cryptography and Security · Computer Science 2023-04-03 Mehmet Parlak

With the increasing presence of autonomous SAE level 3 and level 4, which incorporate artificial intelligence software, along with the complex technical challenges they present, it is essential to maintain a high level of functional safety…

Software Engineering · Computer Science 2024-12-13 Vikas Vyas , Zheyuan Xu

An open question in autonomous driving is how best to use simulation to validate the safety of autonomous vehicles. Existing techniques rely on simulated rollouts, which can be inefficient for finding rare failure events, while other…

Robotics · Computer Science 2020-06-29 Anthony Corso , Ritchie Lee , Mykel J. Kochenderfer

The Intelligent vehicle (IV) is experiencing revolutionary growth in research and industry, but it still suffers from many security vulnerabilities. Traditional security methods are incapable to provide secure IV data sharing. The major…

Cryptography and Security · Computer Science 2017-09-01 Madhusudan Singh , Shiho Kim

Vehicular networks promise features such as traffic management, route scheduling, data exchange, entertainment, and much more. With any large-scale technological integration comes the challenge of providing security. Blockchain technology…

Cryptography and Security · Computer Science 2022-01-14 Tejasvi Alladi , Vinay Chamola , Nishad Sahu , Vishnu Venkatesh , Adit Goyal , Mohsen Guizani

In Internet of Vehicles (IoV), data sharing among vehicles is essential to improve driving safety and enhance vehicular services. To ensure data sharing security and traceability, highefficiency Delegated Proof-of-Stake consensus scheme as…

Cryptography and Security · Computer Science 2018-09-25 Jiawen Kang , Zehui Xiong , Dusit Niyato , Dongdong Ye , Dong In Kim , Jun Zhao

By design, distributed ledger technologies persist low-level data which makes conducting complex business analysis of the recorded operations challenging. Existing blockchain visualization and analytics tools such as block explorers tend to…

Computers and Society · Computer Science 2021-02-23 Leny Vinceslas , Hirsh Pithadia , Safak Dogan , Srikumar Sundareshwar , Ahmet M. Kondoz

An efficient, scalable, and provably secure dynamic auditing scheme is highly desirable in the cloud storage environment for verifying the integrity of the outsourced data. Most of the existing work on remote integrity checking focuses on…

Cryptography and Security · Computer Science 2024-12-10 Tariqul Islam , Faisal Haque Bappy , Md Nafis Ul Haque Shifat , Farhan Ahmad , Kamrul Hasan , Tarannum Shaila Zaman

Data driven approaches to problem solving are, in many regards, the holy grail of evidence backed decision making. Using first-party empirical data to analyze behavior and establish predictions yields us the ability to base in-depth…

Cryptography and Security · Computer Science 2021-02-09 Michael Bartholic , Zhengrong Gu , Jianan Su , Justin Goldstein , Shin'ichiro Matsuo

Modern AI technologies enable autonomous vehicles to perceive complex scenes, predict human behavior, and make real-time driving decisions. However, these data-driven components often operate as black boxes, lacking interpretability and…

Robotics · Computer Science 2026-01-16 Oumaima Barhoumi , Mohamed H Zaki , Sofiène Tahar