English
Related papers

Related papers: Location-aware Verification for Autonomous Truck P…

200 papers

This paper considers the problem of safely coordinating a team of sensor-equipped robots to reduce uncertainty about a dynamical process, where the objective trades off information gain and energy cost. Optimizing this trade-off is…

Blockchains provide environments where parties can interact transparently and securely peer-to-peer without needing a trusted third party. Parties can trust the integrity and correctness of transactions and the verifiable execution of…

Cryptography and Security · Computer Science 2023-03-02 Simon Tschirner , Shashank Shekher Tripathi , Mathias Roeper , Markus M. Becker , Volker Skwarek

Many service systems rely on verifiable identity-related information of their users. Manipulation and unwanted exposure of this privacy-relevant information, however, must at the same time be prevented and avoided. Peer-to-peer…

Cryptography and Security · Computer Science 2022-09-21 Jonathan Heiss , Robert Muth , Frank Pallas , Stefan Tai

Recent advances in vehicle connectivity have allowed formation of autonomous vehicle platoons for improved mobility and traffic throughput. In order to avoid a pile-up in such platoons, it is important to ensure platoon (string) stability,…

Systems and Control · Electrical Eng. & Systems 2021-06-09 Vamsi Vegamoor , Sivakumar Rathinam , Swaroop Darbha

A secure and private framework for inter-agent communication and coordination is developed. This allows an agent, in our case a fleet owner, to ask questions or submit queries in an encrypted fashion using semi-homomorphic encryption. The…

Systems and Control · Computer Science 2017-03-01 Farhad Farokhi , Iman Shames , Karl H. Johansson

This letter proposes a novel three-tier content caching architecture for Vehicular Fog Caching (VFC)-assisted platoon, where the VFC is formed by the vehicles driving near the platoon. The system strategically coordinates storage across…

Networking and Internet Architecture · Computer Science 2026-02-05 Bowen Tan , Qiong Wu , Pingyi Fan , Kezhi Wang , Nan Cheng , Wen Chen

This paper introduces the zk-IoT framework, a novel approach to enhancing the security of Internet of Things (IoT) ecosystems through the use of Zero-Knowledge Proofs (ZKPs) on blockchain platforms. Our framework ensures the integrity of…

Cryptography and Security · Computer Science 2024-02-20 Gholamreza Ramezan , Ehsan Meamari

The paper suggests a new approach based on blockchain technologies and smart contracts to creation of a distributed system for managing provenance metadata, as well as access rights to data in distributed storages, which is fault-tolerant,…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-12-03 Andrey Demichev , Alexander Kryukov , Nikolai Prikhodko

Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions. Hyperledger Fabric framework exposes a multi-party…

Cryptography and Security · Computer Science 2022-09-21 Ivan Fedotov , Anton Khritankov , Artem Barger

In this paper, we study the longitudinal control problem for a platoon of vehicles with unknown nonlinear dynamics under both the predecessor-following and the bidirectional control architectures. The proposed control protocols are fully…

Systems and Control · Computer Science 2017-01-24 Christos K. Verginis , Charalampos P. Bechlioulis , Dimos V. Dimarogonas , Kostas J. Kyriakopoulos

The emergence of Intelligent Connected Vehicles (ICVs) shows great potential for future intelligent traffic systems, enhancing both traffic safety and road efficiency. However, the ICVs relying on data driven perception and driving models…

Networking and Internet Architecture · Computer Science 2021-11-03 Haoye Chai , Supeng Leng , Fan Wu , Jianhua He

Zero-knowledge proof (ZKP) frameworks have the potential to revolutionize the handling of sensitive data in various domains. However, deploying ZKP frameworks with real-world data presents several challenges, including scalability,…

Cryptography and Security · Computer Science 2023-07-14 Piergiuseppe Mallozzi

In the last few years, researchers have applied machine learning strategies in the context of vehicular platoons to increase the safety and efficiency of cooperative transportation. Reinforcement Learning methods have been employed in the…

Systems and Control · Electrical Eng. & Systems 2022-11-17 Armando Alves Neto , Leonardo Amaral Mozelli

There is increased interest in smart vehicles acting as both data consumers and producers in smart cities. Vehicles can use smart city data for decision-making, such as dynamic routing based on traffic conditions. Moreover, the multitude of…

Cryptography and Security · Computer Science 2018-07-06 Regio A. Michelin , Ali Dorri , Roben C. Lunardi , Marco Steger , Salil S. Kanhere , Raja Jurdak , Avelino F. Zorzo

With the development in information and communications technology (ICT) and drones such as Internet-of-Things (IoT), edge computing, image processing, and autonomous drones, solutions supporting search and rescue (SAR) missions can be…

Networking and Internet Architecture · Computer Science 2021-09-01 Tri Nguyen , Risto Katila , Tuan Nguyen Gia

Vehicular platooning is a well-known transportation technique that helps reduce fuel consumption, carbon emissions, and road congestion. When integrated with Connected and Autonomous Vehicle (CAV) technologies, platooning enhances the…

Computer Science and Game Theory · Computer Science 2026-03-17 Bhosale Akshay Tanaji , Sayak Roychowdhury , Anand Abraham

Emergency communication is critical but challenging after natural disasters when ground infrastructure is devastated. Unmanned aerial vehicles (UAVs) offer enormous potential for agile relief coordination in these scenarios. However,…

Cryptography and Security · Computer Science 2024-02-26 Sana Hafeez , Runze Cheng , Lina Mohjazi , Muhammad Ali Imran , Yao Sun

Zero-knowledge proofs (ZKPs) enable computational integrity and privacy by allowing one party to prove the truth of a statement without revealing underlying data. Compared with alternatives such as homomorphic encryption and secure…

Cryptography and Security · Computer Science 2026-04-14 Ryan Lavin , Xuekai Liu , Hardhik Mohanty , Logan Norman , Giovanni Zaarour , Bhaskar Krishnamachari

This study addresses critical challenges in managing the transportation of spent nuclear fuel, including inadequate data transparency, stringent confidentiality requirements, and a lack of trust among collaborating parties, issues prevalent…

Cryptography and Security · Computer Science 2025-06-03 Yuxiang Xu , Wenjuan Yu , Yuqian Wan , Zhongming Zhang

Existing intelligent driving technology often has a problem in balancing smooth driving and fast obstacle avoidance, especially when the vehicle is in a non-structural environment, and is prone to instability in emergency situations.…

Robotics · Computer Science 2022-08-02 Yitian Wang , Jun Lin , Liu Zhang , Tianhao Wang , Hao Xu , Guanyu Zhang , Yang Liu