English
Related papers

Related papers: Blockchain-inspired Event Recording System for Aut…

200 papers

Autonomous cars have to navigate in dynamic environment which can be full of uncertainties. The uncertainties can come either from sensor limitations such as occlusions and limited sensor range, or from probabilistic prediction of other…

Robotics · Computer Science 2019-05-06 Liting Sun , Wei Zhan , Ching-Yao Chan , Masayoshi Tomizuka

Conventional railway operations employ specialized software and hardware to ensure safe and secure train operations. Track occupation and signaling are governed by central control offices, while trains (and their drivers) receive…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-20 Michael Kuperberg , Daniel Kindler , Sabina Jeschke

We argue that recent developments in proof-of-work consensus mechanisms can be used in accordance with advancements in formal verification techniques to build a distributed payment protocol that addresses important economic drawbacks from…

Cryptography and Security · Computer Science 2020-05-14 Assimakis Kattis , Fabian Trottner

Trustworthy environment perception is the fundamental basis for the safe deployment of automated agents such as self-driving vehicles or intelligent robots. The problem remains that such trust is notoriously difficult to guarantee in the…

Signal Processing · Electrical Eng. & Systems 2020-10-01 Florian Geissler , Alex Unnervik , Michael Paulitsch

This paper presents V-Guard, a new permissioned blockchain that achieves consensus for vehicular data under changing memberships, targeting the problem in V2X networks where vehicles are often intermittently connected on the roads. To…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-05 Gengrui Zhang , Yunhao Mao , Shiquan Zhang , Shashank Motepalli , Fei Pan , Hans-Arno Jacobsen

The rapid integration of AI algorithms in safety-critical applications such as autonomous driving and healthcare is raising significant concerns about the ability to meet stringent safety standards. Traditional tools for formal safety…

Artificial Intelligence · Computer Science 2026-01-21 Oliver Schön , Zhengang Zhong , Sadegh Soudjani

Security and privacy in Direct Load Control (DLC) is a fundamental challenge in smart grids. In this paper, we propose a blockchain-based framework to increase security and privacy of DLC. We propose a method whereby participating nodes…

Cryptography and Security · Computer Science 2018-12-21 Ali Dorri , Fengji Luo , Salil S Kanhere , Raja Jurdak , Zhao Yang Dong

With the rapid development of the Internet of Things (IoT) and its potential integration with the traditional Vehicular Ad-Hoc Networks (VANETs), we have witnessed the emergence of the Internet of Vehicles (IoV), which promises to…

Networking and Internet Architecture · Computer Science 2023-04-20 Nyothiri Aung , Tahar Kechadi , Tao Zhu , Saber Zerdoumi , Tahar Guerbouz , Sahraoui Dhelim

We address the security of a network of Connected and Automated Vehicles (CAVs) cooperating to safely navigate through a conflict area (e.g., traffic intersections, merging roadways, roundabouts). Previous studies have shown that such a…

Systems and Control · Electrical Eng. & Systems 2024-03-26 H M Sabbir Ahmad , Ehsan Sabouni , Akua Dickson , Wei Xiao , Christos G. Cassandras , Wenchao Li

Federated Learning (FL) enables collaborative model training without sharing raw data, preserving privacy while harnessing distributed datasets. However, traditional FL systems often rely on centralized aggregating mechanisms, introducing…

Machine Learning · Computer Science 2025-02-21 Bijun Wu , Oshani Seneviratne

While connected vehicle (CV) applications have the potential to revolutionize traditional transportation system, cyber and physical attacks on them could be devastating. In this work, we propose an efficient dual cyber-physical blockchain…

Cryptography and Security · Computer Science 2021-02-16 Xiangguo Liu , Baiting Luo , Ahmed Abdo , Nael Abu-Ghazaleh , Qi Zhu

A blockchain is a distributed ledger forming a distributed consensus on a history of transactions. It is the underlying technology for the Bitcoin cryptocurrency, but there are many applications beyond the financial sector. With built-in…

Cryptography and Security · Computer Science 2019-12-23 Nathaniel Aldred , Luke Baal , Graeham Broda , Steven Trumble , Qusay H. Mahmoud

Federated Leaning is an emerging approach to manage cooperation between a group of agents for the solution of Machine Learning tasks, with the goal of improving each agent's performance without disclosing any data. In this paper we present…

Machine Learning · Computer Science 2022-08-09 Gabriele Santin , Inna Skarbovsky , Fabiana Fournier , Bruno Lepri

Off-grid networks are recently emerging as a solution to connect the unconnected or provide alternative services to networks of possibly untrusted participants. The systems currently used, however, exhibit limitations due to their…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-07-09 Harris Niavis , Nikolaos Papadis , Leandros Tassiulas

Transport sector is in the process of being rapidly and fundamentally reshaped by autonomous and collaborative driving technologies. This reshaping promises huge economic and social benefits as well as challenges in terms of developing and…

Computers and Society · Computer Science 2018-06-11 Viktoras Kabir Veitas , Simon Delaere

Recently, researchers have proposed various autonomous intersection management techniques that enable autonomous vehicles to cross the intersection without traffic lights or stop signs. In particular, a priority-based coordination system…

Robotics · Computer Science 2014-09-29 Xiangjun Qian , Jean Gregoire , Fabien Moutarde , Arnaud De La Fortelle

Internet of Vehicles (IoVs) consist of smart vehicles, Autonomous Vehicles (AVs) as well as roadside units (RSUs) that communicate wirelessly to provide enhanced transportation services such as improved traffic efficiency and reduced…

Cryptography and Security · Computer Science 2022-03-22 Brian Hildebrand , Mohamed Baza , Tara Salman , Fathi Amsaad , Abdul Razaqu , Abdullah Alourani

Automated event detection has emerged as one of the fundamental practices to monitor the behavior of technical systems by means of sensor data. In the automotive industry, these methods are in high demand for tracing events in time series…

Machine Learning · Computer Science 2023-10-18 Bahareh Medghalchi , Andreas Vogel

The development of blockchain technology has significantly enhanced the security and transparency of personal information and transaction records. Concurrent with the advancement of blockchain technology and the emergence of the digital…

Cryptography and Security · Computer Science 2025-09-03 Zeng Zhang , Xiaoqi Li

Safety validation of autonomous driving systems is extremely challenging due to the high risks and costs of real-world testing as well as the rarity and diversity of potential failures. To address these challenges, we train a denoising…

Robotics · Computer Science 2025-06-11 Juanran Wang , Marc R. Schlichting , Harrison Delecki , Mykel J. Kochenderfer