English
Related papers

Related papers: Hermes Seal: Zero-Knowledge Assurance for Autonomo…

200 papers

Zero-knowledge proof (ZKP) systems have surged attention and held a fundamental role in contemporary cryptography. Zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) protocols dominate the ZKP usage, implemented…

Software Engineering · Computer Science 2025-12-23 Qizhe Yang , Boxuan Liang , Hao Chen , Guoqiang Li

Identity verification is the process of confirming an individual's claimed identity, which is essential in sectors like finance, healthcare, and online services to ensure security and prevent fraud. However, current password/PIN-based…

Cryptography and Security · Computer Science 2025-07-22 Yao Ma , Wen Yu Kon , Jefferson Chu , Kevin Han Yong Loh , Kaushik Chakraborty , Charles Lim

The intersection of Artificial Intelligence (AI) and distributed systems has given rise to Federated Learning (FL), a paradigm that enables decentralized model training without compromising local data privacy. As organizational data silos…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-12 Divya Gupta

-Wireless body area network(WBAN) has shown great potential in improving healthcare quality not only for patients but also for medical staff. However, security and privacy are still an important issue in WBANs especially in multi-hop…

Cryptography and Security · Computer Science 2016-02-03 Nesrine Khernane , Maria Potop-Butucaru , Claude Chaudet

This study proposes a lightweight Zero-Knowledge authentication model supported by QR codes. The approach is based on the Schnorr authentication protocol and provides an additional security layer against replay attacks through nonce and…

Cryptography and Security · Computer Science 2026-05-19 Hüseyin Bodur

Zero-knowledge proofs (ZKPs) have evolved from a theoretical cryptographic concept into a powerful tool for implementing privacy-preserving and verifiable applications without requiring trust assumptions. Despite significant progress in the…

Cryptography and Security · Computer Science 2025-05-01 Stefanos Chaliasos , Imam Al-Fath , Alastair Donaldson

Even though virtual testing of Autonomous Vehicles (AVs) has been well recognized as essential for safety assessment, AV simulators are still undergoing active development. One particularly challenging question is to effectively include the…

Robotics · Computer Science 2024-02-28 Andrea Piazzoni , Jim Cherian , Justin Dauwels , Lap-Pui Chau

Split learning is an approach to collaborative learning in which a deep neural network is divided into two parts: client-side and server-side at a cut layer. The client side executes its model using its raw input data and sends the…

In [3], the authors proposed a highly efficient secure and privacy-preserving scheme for secure vehicular communications. The proposed scheme consists of four protocols: system setup, protocol for STP and STK distribution, protocol for…

Cryptography and Security · Computer Science 2015-08-10 Lei Zhang , Chuanyan Hu , Qianhong Wu , Josep Domingo-Ferrer , Bo Qin

Information and Communication Technologies (ICT) have a significant climate impact, and data centres account for a large proportion of the carbon emissions from ICT. To achieve sustainability goals, it is important that all parties involved…

Cryptography and Security · Computer Science 2025-09-09 Jessica Man , Sadiq Jaffer , Patrick Ferris , Martin Kleppmann , Anil Madhavapeddy

Watermarking schemes for large language models (LLMs) have been proposed to identify the source of the generated text, mitigating the potential threats emerged from model theft. However, current watermarking solutions hardly resolve the…

Cryptography and Security · Computer Science 2025-10-31 Haohua Duan , Liyao Xiang , Xin Zhang

Payment channel network (PCN) is a layer-two scaling solution that enables fast off-chain transactions but does not involve on-chain transaction settlement. PCNs raise new privacy issues including balance secrecy, relationship anonymity and…

Cryptography and Security · Computer Science 2022-08-23 Wenxuan Yu , Minghui Xu , Dongxiao Yu , Xiuzhen Cheng , Qin Hu , Zehui Xiong

Protecting secrets is a key challenge in our contemporary information-based era. In common situations, however, revealing secrets appears unavoidable, for instance, when identifying oneself in a bank to retrieve money. In turn, this may…

Cryptography and Security · Computer Science 2022-02-17 Pouriya Alikhani , Nicolas Brunner , Claude Crépeau , Sébastien Designolle , Raphaël Houlmann , Weixu Shi , Nan Yang , Hugo Zbinden

Data valuation is a foundational task in data marketplaces, where a Shapley-value attribution determines how a buyer's payment is distributed among data providers. Typically, the marketplace operator runs this attribution alone, requiring…

Cryptography and Security · Computer Science 2026-05-06 Zhaoyu Wang , Pingchuan Ma , Zhantong Xue , Yuguang Zhou , Qixin Zhang , Xiaoqin Zhang , Shuai Wang

Cellular networking is advancing as a wireless technology to support diverse applications in vehicular communication, enabling vehicles to interact with various applications to enhance the driving experience, even when managed by different…

Cryptography and Security · Computer Science 2025-02-24 SangHyun Byun , Arijet Sarker , Sang-Yoon Chang , Jugal Kalita

Zero-knowledge proofs (ZKPs) are widely applied in digital economies, such as cryptocurrencies and smart contracts, for establishing trust and ensuring privacy between untrusted parties. However, almost all ZKPs rely on unproven…

The rapid development of intelligent transportation systems and connected vehicles has highlighted the need for secure and efficient key management systems (KMS). In this paper, we introduce VDKMS (Vehicular Decentralized Key Management…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-04-09 Wei Yao , Yuhong Liu , Fadi P. Deek , Guiling Wang

How someone can get health insurance without sharing his health information? How you can get a loan without disclosing your credit score? There is a method to certify certain attributes of various data, either this is health metrics or…

Cryptography and Security · Computer Science 2020-06-18 Stavros Kassaras , Leandros Maglaras

Safety and mission performance validation of autonomous vehicles (AVs) is a major challenge. In this paper we describe a methodology for constructing and applying assertion checks to validate the behaviour of an AV operating either in…

Databases · Computer Science 2022-05-16 Christopher Harper , Greg Chance , Abanoub Ghobrial , Saquib Alam , Tony Pipe , Kerstin Eder

In the era of synthetic media, deepfake manipulations pose a significant threat to information integrity. To address this challenge, we propose TrustDefender, a two-stage framework comprising (i) a lightweight convolutional neural network…

Cryptography and Security · Computer Science 2025-07-24 H M Mohaimanul Islam , Huynh Q. N. Vo , Aditya Rane