中文
相关论文

相关论文: NIZKCTF: A Non-Interactive Zero-Knowledge Capture …

200 篇论文

The history of humanhood has included competitive activities of many different forms. Sports have offered many benefits beyond that of entertainment. At the time of this article, there exists not a competitive ecosystem for cyber security…

密码学与安全 · 计算机科学 2017-03-16 Jovonni L. Pharr

Learning-based control with safety guarantees usually requires real-time safety certification and modifications of possibly unsafe learning-based policies. The control barrier function (CBF) method uses a safety filter containing a…

系统与控制 · 电气工程与系统科学 2024-10-25 Kanghui He , Shengling Shi , Ton van den Boom , Bart De Schutter

Zero-Knowledge Proofs (ZKPs) are an emergent paradigm in verifiable computing. In the context of applications like cloud computing, ZKPs can be used by a client (called the verifier) to verify the service provider (called the prover) is in…

硬件体系结构 · 计算机科学 2024-08-13 Alhad Daftardar , Brandon Reagen , Siddharth Garg

This paper introduces quantum analogues of non-interactive perfect and statistical zero-knowledge proof systems. Similar to the classical cases, it is shown that sharing randomness or entanglement is necessary for non-trivial protocols of…

量子物理 · 物理学 2007-05-23 Hirotada Kobayashi

Increasingly sophisticated and varied cyber threats necessitate ever improving enterprise security postures. For many organizations today, those postures have a foundation in the Zero Trust Architecture. This strategy sees trust as…

密码学与安全 · 计算机科学 2025-08-19 Samuel Aiello

Knowledge base completion (KBC) aims to predict the missing links in knowledge graphs. Previous KBC tasks and approaches mainly focus on the setting where all test entities and relations have appeared in the training set. However, there has…

计算与语言 · 计算机科学 2022-12-07 Pei Chen , Wenlin Yao , Hongming Zhang , Xiaoman Pan , Dian Yu , Dong Yu , Jianshu Chen

Convolutional Neural Networks (CNNs) are deployed in more and more classification systems, but adversarial samples can be maliciously crafted to trick them, and are becoming a real threat. There have been various proposals to improve CNNs'…

机器学习 · 计算机科学 2020-02-21 Ilia Shumailov , Yiren Zhao , Robert Mullins , Ross Anderson

Recent advances in LLM agentic systems have improved the automation of offensive security tasks, particularly for Capture the Flag (CTF) challenges. We systematically investigate the key factors that drive agent success and provide a…

Redactable Signature Schemes and Zero-Knowledge Proofs are two radically different approaches to enable privacy. This paper analyses their merits and drawbacks when applied to decentralized identity system. Redactable Signatures, though…

密码学与安全 · 计算机科学 2023-10-25 Bryan Kumara , Mark Hooper , Carsten Maple , Timothy Hobson , Jon Crowcroft

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…

分布式、并行与集群计算 · 计算机科学 2026-05-12 Divya Gupta

This paper describes a new but state-of-the-art approach to provide authenticity in mqtt sessions using the means of zero-knowledge-proofs. This approach completely voids session hijacking for the mqtt protocol and provides authenticity…

网络与互联网体系结构 · 计算机科学 2020-01-28 Reto E. Koenig , Lukas Laederach , Cédric von Allmen

Many companies use identity information for different goals. There are a lot of marketplaces for identity information. These markets have some practical issues such as privacy, mutual trust and fairing exchange. The management of identity…

密码学与安全 · 计算机科学 2021-06-29 Mohsen Rahnamaei , Saeid Tousi Saeidi , Siavash Khorsandi , Mehdi Shajari

Identifying the actual adversarial threat against a system vulnerability has been a long-standing challenge for cybersecurity research. To determine an optimal strategy for the defender, game-theoretic based decision models have been widely…

计算机科学与博弈论 · 计算机科学 2022-11-11 Siddhant Bhambri , Purv Chauhan , Frederico Araujo , Adam Doupé , Subbarao Kambhampati

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…

密码学与安全 · 计算机科学 2025-05-01 Stefanos Chaliasos , Imam Al-Fath , Alastair Donaldson

With strict protections and regulations of data privacy and security, conventional machine learning based on centralized datasets is confronted with significant challenges, making artificial intelligence (AI) impractical in many…

密码学与安全 · 计算机科学 2020-05-25 Hongyu Li , Dan Meng , Hong Wang , Xiaolin Li

Platooning technologies enable trucks to drive cooperatively and automatically, which bring benefits including less fuel consumption, more road capacity and safety. In order to establish trust during dynamic platoon formation, ensure…

网络与互联网体系结构 · 计算机科学 2023-05-29 Wanxin Li , Collin Meese , Zijia Zhong , Hao Guo , Mark Nejad

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…

密码学与安全 · 计算机科学 2024-02-20 Gholamreza Ramezan , Ehsan Meamari

In this paper we present ZKlaims: a system that allows users to present attribute-based credentials in a privacy-preserving way. We achieve a zero-knowledge property on the basis of Succinct Non-interactive Arguments of Knowledge (SNARKs).…

密码学与安全 · 计算机科学 2019-08-21 Martin Schanzenbach , Thomas Kilian , Julian Schütte , Christian Banse

Zero Trust Architecture (ZTA) has become a widely adopted model for securing enterprise environments, promoting continuous verification and minimal trust across systems. However, its application in mobile contexts remains limited, despite…

密码学与安全 · 计算机科学 2025-08-26 Alexander Tabalipa

Over the last years, the number of cyber-attacks on industrial control systems has been steadily increasing. Among several factors, proper software development plays a vital role in keeping these systems secure. To achieve secure software,…

软件工程 · 计算机科学 2021-02-23 Tiago Espinha Gasiba , Ulrike Lechner , Maria Pinto-Albuquerque , Anmoal Porwal