TrustZero -- open, verifiable and scalable zero-trust
针对传统安全模型在当前网络威胁下的不足，本研究提出TrustZero——一种面向欧洲的护照级信任令牌，基于零信任架构（ZTA）构建可扩展安全层，通过通用信任令牌实现稳健信任证明，适用于遗留系统与跨组织通信。
2025-02-17 cs.CR cs.NI
Towards Reliable Local Security Agents: Verifiable Post-Training for Linux Privilege Escalation
本文提出一种两阶段训练流程，通过监督微调和强化学习提升Linux提权任务的性能，实现高成功率和低推理成本。
2026-07-07 cs.AI cs.CR
VeraSel: Verifiable Random Selection for Mixnets Construction
混合网络的安全性和性能取决于网络中混合节点的可信度。挑战在于限制对手对网络中哪些混合节点运行的影响。受信任方（如Mixnet运营商）可以确保这一点，但是，在发生腐败或胁迫的情况下，这是一个单点故障。因此，我们研究的问题，如何选择一个子集的混合节点在一个分布式的方式混合网络的建设。我们提出了VeraSel，一个方案，使混合节点选择根据其权重在一个分布式的，无偏的，可验证的方式使用可验证的随机函数（VRF）。它表明，VeraSel使任何一方学习和验证哪些节点已被选定的基础上的承诺和证明所产生的每个Mixnode与VRF。
2023-01-22 cs.CR cs.NI
MPC-Friendly Commitments for Publicly Verifiable Covert Security
University of Oxford（牛津大学）；The Alan Turing Institute（艾伦·图灵研究所）；Google（谷歌）；University College London（伦敦大学学院）
我们解决的问题，有效地验证一个承诺在两方计算。这解决了一方P1向另一方P2提交要在随后的安全计算中使用的值$x$的情况，另一方P2想要接收P1没有欺骗的保证，即$x$确实是输入到安全计算中的值。我们的构造在可公开验证的隐蔽（PVC）安全模型中运行，这是MPC恶意模型的放松，适用于P1如果被发现作弊将面临声誉损害的环境。我们引入PVC承诺方案和索引哈希函数的概念，以建立专门针对PVC框架的承诺方案，并提出了算术和布尔电路的结构，从而产生非常有效的电路。从实用的角度来看，我们的布尔电路的结构是$60\times$更快的安全评估，并使用$36\times$更少的通信比基线方法的基础上散列。此外，我们表明，我们的结构是紧的所需的非线性操作，通过证明下界的非线性门数的承诺验证电路。最后，我们提出了一种技术，以放大我们的建设，允许有效地恢复恶意保证统计安全的安全属性。
2022-01-27 cs.AI cs.CR
From CVE Entries to Verifiable Exploits: An Automated Multi-Agent Framework for Reproducing CVEs
Boston University（波士顿大学）；UC Santa Barbara（加州大学圣塔芭芭拉分校）；Arizona State University（亚利桑那州立大学）；UNSW Sydney（新南威尔士大学）
本文提出CVE-GENIE框架，通过自动化多智能体方法重现CVE漏洞，生成高质量可验证漏洞利用数据集，用于安全研究与评估。
2026-02-12 cs.CR
Verifiable Sustainability in Data Centers
本文针对数据中心可持续性数据易受攻击和滥用的问题，分析了其中的安全挑战，并提出了隐私保护的研究方向。
2024-01-12 cs.CR cs.CY cs.DC
A Scalable, Privacy-Preserving Decentralized Identity and Verifiable Data Sharing Framework based on Zero-Knowledge Proofs
本文提出一种结合DIDs、VCs与ZKP的综合框架，基于zk-STARKs和密码学累加器实现隐私保护的身份验证、可扩展凭证撤销与社交密钥恢复，在提升证明效率与安全性的同时促进可信数据共享。
2025-10-10 cs.CR cs.NI
vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
Institute of Information Engineering, Chinese Academy of Sciences（中国科学院信息工程研究所）；School of Cyber Security, University of Chinese Academy of Sciences（中国科学院大学网络空间安全学院）；University of Electronic Science and Technology of China（电子科技大学）；Qi An Xin Technology Group Inc.（奇安信科技集团股份有限公司）
vCause通过整合图累积器和可验证溯源图，实现云环境下的高效可验证因果分析，确保因果分析结果的完整性，减少计算开销。
2026-03-16 cs.CR
What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
本文提出利用LLM将BLE应用代码翻译为形式化模型，结合静态分析与符号验证，在1050个Android应用中揭示仅10.2%实现全部核心安全保护，降低形式化验证门槛。
2025-09-11 cs.CR cs.NI
ESAA-Security: An Event-Sourced, Verifiable Architecture for Agent-Assisted Security Audits of AI-Generated Code
ESAA-Security通过事件源和可验证架构，提供可追溯、可重复的AI生成代码安全审计方法，强调结构化意图验证与风险分类。
2026-03-06 cs.AI cs.CR
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
本文系统研究了资源受限低端IoT设备的低成本远程软件完整性验证架构，定性和定量比较了不同完整性证明的表达能力、架构支持与成本，并指出了未来研究方向与挑战。
2024-01-11 cs.CR
Idology and Its Applications in Public Security and Network Security
诈骗（通过虚构、伪造、假冒、模仿或冒充他人等方式骗取钱财、财物或职权）对公共安全和网络安全构成威胁。反欺诈本质上是对人或物的识别。本文首先提出了身份学的概念，并给出了对称身份和非对称身份的定义。讨论转换对称身份（例如，指纹）到非对称身份。对对称身份和非对称身份进行比较，强调对称身份不能防范内部职务。比较了非对称RFID和BFID，指出BFID具有轻便、经济、方便、环保等优点，更适合于食品、药品、化妆品等消费品的防伪和溯源。设计了BFID统一验证平台的结构和识别系统的组成，并以反恐、动态口令等为例，讨论了BFID在公共安全和网络安全中的广泛应用。
2017-04-30 cs.CR
Repeated-Game Security for Restaking-Based Verifiable Inference
The Hong Kong University of Science and Technology（香港科技大学）
本文针对基于再质押的可验证推理协议，发现其单轮罚没条件高估安全性，提出结合历史挑战、声誉加权罚没与质押归属的机制，可降低重复博弈偏差利润，减少审计率。
2026-08-11 cs.CR cs.GT
A Directly Public Verifiable Signcryption Scheme based on Elliptic Curves
本文提出了一个可直接公开验证的签密方案，该方案提供了消息机密性、认证性、完整性、不可否认性、不可伪造性和消息机密性的前向保密性等安全属性。它提供了直接公开可验证的属性，因此任何人都可以验证签密，而不需要相应参与者的任何秘密信息。该方案基于椭圆曲线密码体制，适用于资源受限的环境。
2012-03-16 cs.CR
PoVF: Empowering Decentralized Blockchain Systems with Verifiable Function Consensus
本文提出基于可验证函数的公平共识机制 PoVF 及延迟缓冲结构，在保证去中心化和安全性的同时实现高交易吞吐量，实验显示其基尼系数低至 0.39，每秒可处理 4000 笔交易。
2025-01-02 cs.CR
VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs
Shenzhen University（深圳大学）；Nanjing University of Science（南京理工大学）；Nanyang Technological University（南洋理工大学）
VeriLoRA通过整合零知识证明与LoRA微调，实现了大语言模型在敏感环境中的安全可信部署。
2025-12-02 cs.AI cs.CR
AxeChain: A Secure and Decentralized blockchain for solving Easily-Verifiable problems
虽然工作量证明（PoW）是区块链中使用最广泛的共识机制，但由于其大量浪费能量进行无意义的哈希计算，因此受到了严厉的批评。一些研究已经引入权益证明来解决这个问题。然而，这样的协议扩大了贫富之间的差距，在最坏的情况下导致寡头垄断，富人控制了整个网络。其他研究试图将PoW的能耗转化为有用功，但存在应用范围窄、安全问题严重、激励模式不实用等局限性。在本文中，我们介绍了AxeChain，它可以利用区块链的计算能力来解决用户提出的实际问题，而不会大大损害去中心化或安全性。AxeChain通过将困难问题解决与PoW挖掘相结合来实现这一点。我们对AxeChain的安全性进行了建模，并得出了功率利用率和系统安全性之间的平衡曲线。也就是说，在攻击功率不超过总功率的1/3的合理假设下，总功率的1/2可以安全地用于解决实际问题。我们还设计了一个新的激励模型的基础上，在解决问题所涉及的工作量，平衡用户和矿工的利益。此外，我们的实验结果表明，AxeChain提供了强大的安全保证，无论提交什么样的问题。
2020-03-31 cs.CR cs.DC
A Verifiable Quantum Secret Sharing Scheme Based on a Single Qubit
为了检测来自内部参与者或外部攻击者的欺诈行为，人们提出了一些可验证的门限量子秘密共享方案。本文提出了一种新的基于单量子比特的二元多项式可验证阈值结构。首先，Alice选择一个非对称二元多项式，并将该多项式的一对值发送给每个参与者。然后Alice和参与者在无偏基的基础上对$d$维量子态依次实现幺正变换，这些幺正变换由这个多项式联系.最后，安全性分析表明，与现有方案相比，该方案能够检测出来自外部和内部攻击的欺诈行为，并且与最近的方案具有可比性。
2020-03-09 cs.CR
Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
KTH Royal Institute of Technology（瑞典皇家理工学院）
本研究提出基于零知识虚拟机的编译方法，通过生成加密证明实现软件制品的可验证溯源，验证了其在现实软件中的应用及安全性。
2026-02-12 cs.CR cs.SE
Verifiable blind probabilistic error cancellation
Sorbonne Université（索邦大学）；University of Edinburgh（爱丁堡大学）；École Normale Supérieure, PSL University（巴黎高等师范学院，PSL大学）
研究针对不可信量子硬件上端到端安全性问题，提出可验证的盲概率误差消除（VBPEC）协议，将概率误差消除技术纳入可组合安全范围，通过扩展验证方法和开发新证明技术，实现主动消除噪声，提高验证实用性，为委托量子计算奠定基础。
2026-07-29 cs.CR quant-ph
Misbinding Raw Public Keys to Identities in TLS
本文使用应用pi演算和ProVerif工具形式化分析了TLS的原始公钥（RPK）认证模式，揭示了其易受身份错误绑定攻击的漏洞，并提出了缓解机制与改进建议。
2025-01-29 cs.CR
LiteChain: A Lightweight Blockchain for Verifiable and Scalable Federated Learning in Massive Edge Networks
针对海量边缘网络中联邦学习面临的通信、存储及安全度量挑战，提出轻量级区块链LiteChain，通过分布式聚类算法构建两级网络结构并引入CBFT共识与安全更新机制，在降低延迟和存储开销的同时有效抵御攻击。
2025-03-06 cs.CR cs.DC
Closing the Visibility Gap: A Monitoring Framework for Verifiable Open RAN Operations
针对Open RAN多运营商共享部署下现有零信任架构存在的合规盲区问题，提出一种主动验证配置与控制行为的监控框架，经测试延迟约200ms，可高效支撑多运营商场景的策略执行与合规审计。
2025-09-03 cs.CR cs.NI
Privacy-Preserving Federated Learning from Partial Decryption Verifiable Threshold Multi-Client Functional Encryption
School of Cyber Science and Engineering, Southeast University（安全科学与工程学院，东南大学）；School of Computing and Communications, Lancaster University（计算与通信学院，兰卡斯特大学）
针对联邦学习梯度泄露、现有门限方案缺乏聚合可验证性易遭投毒攻击的问题，本文提出部分解密可验证门限多客户端函数加密方案，构建VTSAFL协议，在保证精度的同时大幅降低训练耗时与通信开销。
2025-11-17 cs.AI cs.CR
A Comparative Analysis Between SciTokens, Verifiable Credentials, and Smart Contracts: Novel Approaches for Authentication and Secure Access to Scientific Data
本文比较分析了SciTokens、Verifiable Credentials和Smart Contracts三种科学数据认证与安全访问新方法，从信任、撤销、隐私和安全角度探讨其技术特征与优缺点，指出整合这些技术能提供更安全高效的解决方案。
2023-08-28 cs.CR cs.CY cs.IR
Robust and Verifiable MPC with Applications to Linear Machine Learning Inference
提出一种具备完全可识别性和鲁棒性的高效MPC协议，通过基于格的承诺和半诚实可信第三方实现鲁棒性，在ML即服务场景中验证线性推理，虽效率略低但安全属性更强。
2025-05-31 cs.CR
New (k,l,m)-verifiable multi-secret sharing schemes based on XTR public key system
秘密共享最初是在1979年提出来解决密钥分配问题的。近几十年来，研究人员提出了许多改进方案。其中，可验证多秘密共享（VMSS）方案是一种同时共享多个秘密并能感知恶意分发者和参与者的方案。通过指出Dehkordi和Mashhadi在2008年提出的方案不能检测经销商的一些恶性行为，我们提出了两个新的VMSS方案，通过在验证阶段增加有效性检查，以克服这一缺点。新方案基于XTR公钥体制，无需显式构造$p$的$GF(p^{6})$，通过$GF(p^{2})$中的计算实现$GF(p^{6})$的安全性.与使用RSA和LFSR公钥密码体制的VMSS方案相比，我们的方案可以用更短的参数达到相同的安全级别。此外，我们的方案比基于椭圆曲线密码体制的方案操作简单得多。另外，我们的方案是动态的，门限是可变的，这意味着当需要改变参与者、秘密或门限时，可以根据实际情况来实现我们的方案。
2020-11-17 cs.CR cs.SI
Anonymous Communication in Peer-to-Peer Networks for providing more Privacy and Security
对等网络中最重要的问题之一是匿名性。P2P用户的匿名性主要是指用户的身份和行为可以被其他用户泄露。有许多方法被提出来提供匿名对等通信。入侵者可以获得有关数据内容、发送者和接收者身份的信息。匿名方法的设计有以下三个目标：保护提供者的身份，保护请求者的身份和保护它们之间传输的数据的内容。本文提出了一种新的对等方法，以实现匿名的请求者和提供者之间的对等网络中的可信服务器称为超级节点，使提供者将无法识别请求者和没有其他同行可以确定地识别通信双方。实验结果表明，该算法提高了算法的可靠性，具有更高的安全性。该算法基于洋葱路由和随机化思想，有效地保护了传输数据不受流量分析攻击。这种匿名通信算法的最终目标是允许请求者与提供者以这样一种方式进行通信，即没有人可以确定请求者的身份和传输数据的内容。
2012-08-15 cs.CR cs.NI
Authentication, Authorization, and Selective Disclosure for IoT data sharing using Verifiable Credentials and Zero-Knowledge Proofs
随着物联网变得无所不在，产生了大量数据，这些数据可用于构建创新应用程序。然而，互操作性问题和安全问题阻止了这些数据的全部潜力。在本文中，我们考虑了智能建筑产生的数据的用例。通过集成物联网设备，建筑物正在变得越来越“智能”，这些设备通过传感和自动化来提高舒适度。然而，这些设备及其数据通常在特定应用或制造商中是孤立的，即使它们对于提供不同类型的“过顶”服务的各种感兴趣的利益相关者可能是有价值的，例如，能源管理大多数数据共享技术都遵循“全有或全无”的方法，这会造成重大的安全和隐私威胁，即使是部分暴露的、隐私保护的数据子集也会推动创新应用。考虑到这些，我们开发了一个平台，可以控制，保护隐私的数据项共享。我们的系统在两个方面进行了创新：首先，它提供了一个框架，允许在不违反其完整性的情况下发现和选择性地披露物联网数据。其次，它提供了一种用户友好的、直观的机制，允许对共享数据进行有效的、细粒度的访问控制。我们的解决方案利用了自主身份、可验证凭据和零知识证明领域的最新进展，并将它们集成到一个结合了行业标准授权框架OAuth 2.0和物联网规范的平台中。
2022-09-01 cs.CR
A quantum secret sharing scheme with verifiable function
在$\left( {t,n} \right)$门限量子秘密共享方案中，很难保证内部参与者是诚实的。结合经典的秘密共享方案，设计了一个可验证的$\left( {t,n} \right)$门限量子秘密共享方案。首先，分发者使用非对称二元多项式生成份额并将其发送给每个参与者。其次，分发者将携带秘密的初始量子态发送给第一参与者，各参与者对得到的$d$维单比特量子态（$d$为大奇素数）进行基于互无偏的幺正运算。在这个过程中，分销商可以随机抽查参与者，并通过逐步向上的酉逆运算找出内部欺诈者。然后在所有其他参与者同时公开传输后重构秘密。安全性分析表明，该方案能够抵抗外部攻击和内部攻击。
2020-03-09 cs.CR
A Survey on Perfectly-Secure Verifiable Secret-Sharing
可验证秘密共享（VSS）是安全分布式计算的一个基本概念。它被用作几个分布式计算任务的构建块，如拜占庭协议和安全多方计算。在这篇文章中，我们认为VSS计划具有完美的安全性，容忍计算无界的对手。我们全面调查现有的完全安全的VSS计划在三个不同的通信设置，即同步，异步和混合设置，并提供完整的细节，现有的计划在这些设置。这项调查的目的是提供一个明确的知识和基础，研究人员谁有兴趣了解和扩展最先进的完全安全的VSS计划。
2022-02-04 cs.CR cs.DC cs.IT
VFEFL: Privacy-Preserving Federated Learning against Malicious Clients via Verifiable Functional Encryption
本文提出基于可验证函数加密的隐私保护联邦学习框架VFEFL，通过新颖的跨密文去中心化可验证函数加密方案实现恶意客户端检测与高精度模型训练，无需双服务器非协作假设或可信第三方。
2026-04-13 cs.AI cs.CR
Cryptographically verifiable authorization for autonomous AI agents: a falsifiable hypothesis and proof of concept
Universidad Tecnológica Atlántico-Mediterráneo (UTAMED)（西班牙阿塔兰蒂卡-地中海技术大学）；Universidad de Santiago de Compostela (USC)（圣地亚哥-德孔波斯特拉大学）
研究自主AI代理加密可验证授权问题，提出将其形式化为关系$R_{CVA}$的假设，引入CVA形式化抽象，定义安全属性，给出零知识概念验证，还识别出身份等绑定间结构分离问题并提出研究议程。
2026-09-25 cs.AI cs.CR
Collusion-Resistant Worker Set Selection for Transparent and Verifiable Voting
当分布式协议的多个恶意参与者一起破坏或监视诚实的参与者时，就会发生共谋。去中心化协议通常依赖于称为工作者的参与者子集进行关键操作。工作者之间的共谋可能对协议的安全性特别有害。我们提出了两个协议，选择一个子集的工人从一组参与者，使工人勾结在一起的概率最小化。我们的第一个解决方案是一个去中心化的协议，它以可验证的方式随机选择工人，而不需要任何可信实体。第二种解决方案是一种算法，该算法使用参与者的社交图和社区发现来选择社交距离较远的工人，以降低共谋的概率。我们在Schiedermeier等人提出的分散式投票协议的背景下提出了我们的解决方案。[24]保证了透明度和可验证性。为了确保民主投票，实现抗共谋显然是至关重要的，因此投票协议为我们的解决方案提供了一个合适的用例。
2022-06-15 cs.CR
A Survey on Long-Term Memory Security in LLM Agents: Attacks, Defenses, and Governance Across the Memory Lifecycle
MemTensor；Shanghai Jiao Tong University（上海交通大学）
本文提出记忆生命周期框架，系统分析LLM智能体长期记忆面临的新威胁，并引入可验证记忆治理（VMG）架构原语，强调存储时溯源与版本控制对安全的关键作用。
2026-11-02 cs.AI cs.CL cs.CR
Improving the Security of Containerized Workloads using Transparency and Traceability Services
ExcID；Universitat Politècnica de València（瓦伦西亚理工大学）；Athens University of Economics and Business（雅典经济与商业大学）；Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳））
该研究提出一种可验证容器镜像分发架构，通过透明度服务结合策略即代码实现准入时验证，集成GitHub Actions与GitLab Runners的概念验证可缓解常见容器供应链攻击。
2026-08-04 cs.CR
Holding Agents Accountable with Verifiable Agent Insurance
Carnegie Mellon University（卡内基梅隆大学）
该研究针对AI智能体不当行为的追责问题，提出可验证智能体保险（VAI）框架，在以太坊二层网络实现后，可在智能体基准中检测42.2%的违规，增强智能体输出结构化数据后检测率达83.0%，为智能体安全设计提供方向。
2026-10-14 cs.AI cs.CR
D-DEMOS: A distributed, end-to-end verifiable, internet voting system
电子投票系统已经成为一种强大的技术，通过降低选举成本，提高选民参与度，甚至允许选民直接验证整个选举程序来改善民主。先前的互联网投票系统具有单点故障，这可能导致可用性、选民保密性或选举结果的完整性的妥协。在本文中，我们提出的设计，实现，安全性分析和评估的D-DEMOS，一个完整的电子投票系统，是分布式的，隐私保护和端到端的可验证的。我们的系统包括一个完全异步的投票收集子系统，它可以立即向选民保证她的投票被记录为投票，而不需要代表选民进行加密操作。我们还包括一个分布式、可复制和容错的公告板组件，该组件存储所有必要的选举相关信息，并允许任何一方阅读和验证完整的选举过程。最后，我们还成立了受托人，即，控制选举结果产生的个人，同时保证隐私和端到端的可验证性，只要他们的绝大多数是诚实的。我们的系统是第一个电子投票系统，其投票操作是人类可验证的，即，即使当投票者的web客户端堆栈潜在地不安全时，投票者也可以在web上投票，而不牺牲其隐私，并且仍然可以确保她的投票被记录为已投。此外，选民可以将选举审计外包给第三方，而不会牺牲隐私。最后，随着审计人员数量的增加，选举舞弊未被发现的可能性呈指数级下降。我们提供了一个模型和系统的安全性分析。我们实现了一个完整的系统的原型，我们测量其性能实验，我们证明了它的能力，以处理大规模的选举。
2015-12-19 cs.CR cs.DC
VDAS: Verifiable Data Aggregation Scheme for Internet of Things
随着各类传感器的小型化，大量的智能终端正在获得更强的感知能力，这对物联网（IoT）提出了更深的认识和更好的前景。物联网通过大感知数据，为智慧城市的监测和管理以及人们的日常生活提供了许多便利的服务。然而，仍有许多安全挑战影响物联网的进一步发展，其中之一就是如何快速验证从物联网终端获得的大数据。聚合签名是一种有效的大数据认证方法。它可以有效地减少计算和通信开销。本文利用这些特点，基于改进的无证书聚合签名算法，构造了一个物联网可验证数据聚合方案VDAS。在VDAS中，聚合认证消息的长度与IoT终端的数量无关。然后，我们证明了VDAS是存在不可伪造的自适应选择消息攻击假设计算Diffie-Hellman问题是困难的。此外，所提出的VDAS在资源受限的IoT终端和数据中心之间的计算开销上实现了更好的权衡。
2018-11-09 cs.CR
Zero-Knowledge Proof-based Verifiable Decentralized Machine Learning in Communication Network: A Comprehensive Survey
School of Cyberspace Science and Technology, Beijing Institute of Technology（信息科学与技术学院，北京理工大学）；School of Computer Science, The University of Auckland（计算机科学学院，奥克兰大学）；Southeast Institute of Information Technology, Beijing Institute of Technology（信息科技东南研究所，北京理工大学）；Key Laboratory of Knowledge Engineering with Big Data (Hefei University of Technology), Ministry of Education（大数据知识工程重点实验室（合肥工业大学），教育部）；School of Computer Science and Information Engineering, Hefei University of Technology（计算机科学与信息工程学院，合肥工业大学）；Anhui Province Key Laboratory of Industry Safety and Emergency Technology（安徽省产业安全与应急技术重点实验室）；Intelligent Interconnected Systems Laboratory of Anhui Province (Hefei University of Technology)（安徽省智能互联系统实验室（合肥工业大学））；School of Cyber Science and Technology, Beihang University（网络科学与技术学院，北航）；Department of Bioinformatics, Hangzhou Nuowei Information Technology Co.,Ltd（生物信息学系，杭州诺威信息技术有限公司）
本综述聚焦通信网络中基于零知识证明的可验证去中心化机器学习，提出ZKP-VML定义并系统分类现有方案，总结设计原则，指出挑战与未来方向。
2025-03-05 cs.CR cs.LG
Distributed, End-to-end Verifiable, and Privacy-Preserving Internet Voting Systems
电子投票系统是改善民主的强大技术。不幸的是，现有的投票系统具有单点故障，这可能损害选举结果的可用性、隐私性或完整性。我们提出的设计，实现，安全分析和评估的D-DEMOS套件的分布式，隐私保护，端到端的可验证的电子投票系统。我们提出了两个系统：一个异步和一个最小的时间假设，但更好的性能。我们的系统包括一个分布式的投票收集子系统，不需要代表选民的加密操作。我们还包括一个分布式、可复制和容错的公告板组件，该组件存储所有必要的选举相关信息，并允许任何一方阅读和验证完整的选举过程。最后，我们加入了受托人，他们控制结果的产生，同时保证隐私和端到端的可验证性，只要他们的绝大多数是诚实的。我们的电子投票系统套件是第一个其投票操作是人类可验证的，即，即使当投票者的web客户端堆栈潜在地不安全时，投票者也可以在web上投票，而不牺牲其隐私，并且仍然可以确保她的投票被记录为已投。此外，选民可以将选举审计外包给第三方，而不会牺牲隐私。我们提供了一个模型和系统的安全分析，实现完整的原型，实验测量其性能，并证明其处理大规模选举的能力。最后，我们展示了两个版本的系统之间的性能权衡。我们的系统的初步版本被用于在两次国家级选举的三个投票站进行退出民意调查，并正在被希腊最大的工人工会采用，该工会由50多万成员组成。
2016-08-02 cs.CR cs.DC
AIAuditTrack: A Framework for AI Security system
organization= Huazhong University of Science；organization= Lingnan University；organization= Centre for Artificial Intelligence；Robotics (CAIR) Hong Kong Institute of Science \& Innovation, Chinese Academy of Sciences；Tsinghua University；Fujian Jiangxia University
AIAuditTrack通过区块链技术实现AI交互轨迹记录与治理，提供可扩展的AI安全审计与责任追溯方案。
2025-12-16 cs.AI cs.CR
VELLET: Verifiable Embedded Wallet for Securing Authenticity and Integrity
针对嵌入式钱包易用但缺乏透明审计、易受欺诈钓鱼的问题，本文提出 VELLET 协议，通过钱包验证器和 ENS Text Record 管理审计轨迹，以低成本验证交易真实性与完整性。
2024-04-05 cs.CR cs.DC
MERGE: Matching Electronic Results with Genuine Evidence for verifiable voting in person at remote locations
MERGE协议结合电子投票速度与纸质选票验证，通过风险限制审计确保远程投票的完整性与准确性，延长选票到达时间窗口。
2025-03-26 cs.CR
A transparent referendum protocol with immutable proceedings and verifiable outcome for trustless networks
在选举和全民投票中，选民的高投票率是非常可取的，以确保一个强大的民主。安全电子投票是选举和全民投票未来的愿景。这一制度可以抵消阻碍选民踊跃投票的因素，如要求在有限的时间内亲自到投票站投票。然而，这一愿景带来了透明度和保密性要求，使设计此类解决方案具有挑战性。具体而言，计票必须以可重复的方式进行，个人选民的选票必须保密。在本文中，我们提出并评估了一个公投协议，确保透明度，机密性和完整性，在不信任的网络。该协议通过结合安全多方计算（SMPC）和分布式账本或区块链技术构建。协议通信的持久性和不变性允许在客户端验证公投结果。因此，选民不需要信任第三方。我们提供正式的描述，并对我们的建议进行彻底的安全评估。
2019-09-13 cs.CR
BlockA2A: Towards Secure and Verifiable Agent-to-Agent Interoperability
Tsinghua University（清华大学）
本文提出BlockA2A统一多智能体信任框架，结合去中心化标识符、区块链账本和智能合约，并设计防御编排引擎DOE，以亚秒级开销实现安全可验证的智能体间互操作性，有效中和多类多智能体系统攻击。
2025-09-21 cs.AI cs.CR
Fortifying the Agentic Web: A Unified Zero-Trust Architecture Against Logic-layer Threats
Qorvex Consulting；Kleiner Perkins；Wentworth Institute of Higher Education
本文提出统一零信任架构，利用DIDs、VCs、ANS及TARE、因果链审计等机制强化智能体网络，并在形式化模型中证明对LPCI攻击具有有界成功概率的可证明安全保证。
2025-08-20 cs.AI cs.CR cs.ET
Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware
Stanford University（斯坦福大学）
随着机器学习（ML）应用于安全关键或敏感领域，外包ML计算的完整性和隐私性需求日益增长。一个实用的解决方案来自可信执行环境（TEE），它使用硬件和软件保护将敏感计算与不可信的软件堆栈隔离开来。然而，与不受信任的替代方案相比，这些隔离保证在性能上是有代价的。本文通过在可信设备和不可信设备之间有效地划分深度神经网络（DNN）计算，启动了TEE中DNN的高性能执行研究。基于矩阵乘法的有效外包方案，我们提出了Slalom，这是一个框架，可以安全地从TEE（例如，英特尔SGX或Sanctum）到更快但不受信任的协同定位处理器。我们通过在英特尔SGX安全区中运行DNN来评估Slalom，该安全区选择性地将工作委托给不受信任的GPU。对于规范DNN（VGG16，MobileNet和ResNet变体），我们获得了6倍至20倍的可验证推理吞吐量增加，以及4倍至11倍的可验证和私有推理吞吐量增加。
2019-02-27 cs.CR cs.LG stat.ML
Accumulate: An identity-based blockchain protocol with cross-chain support, human-readable addresses, and key management capabilities
Accumulate协议（“Accumulate”）是一种基于身份的委托权益证明（DPoS）区块链，旨在通过与第一层区块链的互操作性，与企业技术堆栈的集成以及与万维网的接口来为数字经济提供动力。Accumulate通过实现链中链架构，绕过了安全性、可扩展性和去中心化的三难困境，在该架构中，能够管理密钥、令牌、数据和其他身份的数字身份被视为自己独立的区块链。这种架构允许这些被称为累积数字标识符（ADI）的身份在累积网络上并行处理和验证。每个ADI还拥有一组具有不同优先级的分层密钥，允许用户随着时间的推移管理其安全性，并创建复杂的签名授权方案，以扩展多重签名交易的实用性。双令牌系统为企业用户提供了可预测的成本，而将所有交易锚定到第一层区块链为每个人提供了企业级的安全性。
2022-04-15 cs.CR cs.DB cs.DC
VDDP: Verifiable Distributed Differential Privacy under the Client-Server-Verifier Setup
University of Waterloo（滑铁卢大学）
本文提出可验证分布式差分隐私框架VDDP，通过刻画其与零知识证明的联系，防御分布式环境中服务器的不忠实执行，并开发了VDDLM、VDDGM和VRR三种高效实例化，在误差极小的情况下大幅提升了证明生成效率并降低了通信开销。
2026-10-22 cs.CR cs.DB
Verifiable Observation of Permissioned Ledgers
在过去的几年里，许可分类账技术获得了巨大的吸引力。出于实际原因，它们的应用程序集中在孤立地转换范围狭窄的用例。这导致了利基、孤立网络的激增，这些网络正在迅速成为数据和价值孤岛。为了在更广泛的生态系统中增加价值，这些网络必须与现有系统无缝集成，并相互进行互操作。启用跨账本通信的一个基本要求是能够向外部方证明账本内部状态的有效性。然而，由于许可分类账的封闭性质，其内部状态对外部观察者是不透明的。这使得消费和验证这些网络的状态成为一个重要的问题。本文解决了跨许可分类账的状态共享的基本要求。特别是，我们解决了外部客户的两个关键问题：（i）保证许可分类账中状态的有效性;（ii）推理国家货币的能力。我们假设一个对抗性模型，其中管理许可分类账的委员会成员在缺乏可检测性和问责制的情况下可能是恶意的。我们提出了一个形式化的状态共享问题，并在不同的对抗条件下检查其安全性。我们提议设计一个协议，该协议使用安全的公共分类帐来提供安全保证和推理时间的能力，委员会中至少有一名诚实的成员。然后，我们对我们的设计进行了正式的安全分析，并基于Hyperledger Fabric进行了概念验证，证明了所提出的协议的有效性。
2021-05-10 cs.CR cs.DC
Federated Learning with Blockchain-Enhanced Machine Unlearning: A Trustworthy Approach
Faculty of Data Science, City University of Macau（澳门大学数据科学学院）；School of Computer Science, University of Technology Sydney（悉尼科技大学计算机科学学院）
本文提出一种结合区块链与联邦学习的框架，通过不可篡改的记录和认证机制解决物联网环境中机器遗忘学习缺乏可验证性的信任问题，同时优化数据管理以保障系统效率与隐私安全。
2024-05-27 cs.AI cs.CR cs.DC
SOAP: A Social Authentication Protocol
本文提出SOAP协议，通过身份提供商管理的数字身份实现社交认证自动化，提升消息账户安全性，并基于OpenID Connect构建，已在两个原型中验证。
2024-02-05 cs.CR
Security of mobile agents: a new concept of the integrity protection
移动技术（移动电话、中间件）的最新发展需要新的方法来保护通过网络传输的代码。所提出的机制不仅保护编译的程序，而且保护可以在其“旅程”期间收集的数据。最古老和最简单的方法更多地集中在代码本身的完整性和未授权操作的检测上。其他更高级的建议不仅保护代码，还保护执行状态和收集的数据。本文分为两个部分。第一个主要致力于保护代码和保护其完整性的不同方法;从水印和指纹开始，直到专门为移动代理系统设计的方法：加密函数，密码跟踪，时间限制的黑盒安全，链式MAC协议，可公开验证的链式数字签名第二部分提出了为移动代理提供完整性保护的新概念，基于零知识证明系统。
2005-06-29 cs.CR
