Repeated-Game Security for Restaking-Based Verifiable Inference
本文研究基于再质押（restaking）协议的可验证大语言模型（LLM）推理安全问题。这类协议通过经济惩罚机制（slashing）取代了 zkML 的高昂证明成本或 TEE 的硬件信任假设，从而以较低成本实现推理的可验证性。现有安全性论证通
#cs.GT
共收录 54 条相关情报。
← 返回所有主题Resource-Aware Intrusion Detection in Infrastructure Networks: A Game-Theoretic Approach
该论文针对基础设施网络中的入侵检测问题，提出了一种基于博弈论的资源分配方法。研究背景是：基础设施网络（如集成传感与通信ISAC系统）依赖分布式传感设备在网络边缘检测入侵，以在攻击者到达关键资产前进行拦截。然而，传感设备、通信带宽和边缘服务器
Towards Decentralized Searcher Competition in MEV Markets
该论文研究区块链最大可提取价值（MEV）市场中的中心化问题，尤其关注搜索者（searcher）竞争层面的中心化。现有研究多聚焦于构建者、验证者和区块构建市场，本文则从搜索者角度出发，建立了一个异质性模型，其中搜索者在机会覆盖范围和执行效率上
Reputation-driven Cooperation in Lattice-based Decentralized Federated Learning through Evolutionary Game Theory
去中心化联邦学习（DFL）是一种无需中心服务器的隐私保护分布式机器学习范式，但缺乏中央协调器使得参与节点可能出现搭便车、不诚实协作等机会主义行为。演化博弈论（EGT）常用于分析这类行为的演化，然而先前研究往往假设智能体具有完全理性，且策略固
Collusion with Competitive Marginals: Price-Level Audits Are Blind by Construction
本论文研究算法合谋检测的根本局限性。作者提出一种新的合谋机制：多个出价代理仅通过未解释竞价分量的联合分布进行耦合，而每个代理的自身出价边际分布保持与竞争性法则完全一致。在这种设定下，任何仅以单个代理价格或出价历史作为输入的检测方法，其统计功
Optimistic Verifiable Claims: A Blockchain Protocol for Conditionally Confidential Bidding in Decentralized Manufacturing
该论文提出了一种名为“乐观可验证声明”(Optimistic Verifiable Claim, OVC)的区块链协议，用于解决去中心化制造中的预签约僵局：服务提供商若不查看设计文件就无法准确报价，而消费者若分享设计文件则会暴露知识产权。O
Near-Tight Theoretical Bounds for Incentive Compatibility in Bitcoin Mining
本文针对比特币挖矿的激励相容性阈值问题进行了理论研究。在比特币的权益证明（PoW）机制中，矿工是否具有诚实挖矿的理性动机直接关系到区块链的安全性。以往的研究分别通过马尔可夫决策过程（Sapirshtein et al.）和区块链挖矿博弈（K
Strategies for quantum-enabled Bitcoin miners
该论文研究了两台配备专用量子计算机的矿工在比特币网络中的竞争挖矿行为对51%攻击阈值的影响。作者扩展了现有的比特币挖矿博弈论框架，计算了相应的支付矩阵。通过考虑非共谋且激进的量子矿工在经典比特币网络中多次尝试寻找有效区块的场景，确定了最优量
Advances in STV Margin Computation
本文针对单记名可转移投票（STV）这一多席位偏好比例选举系统，研究其边际计算问题。STV选举的边际是指改变获胜者集合所需的最小选票操纵数量。精确计算边际或其合理下界，对于实施风险限制审计（RLA）至关重要，因为边际知识可用于评估选举结果是否
Reveal, Correct, Then Pay: Encrypted Mempools and Perpetual Funding Security
本文研究加密内存池（encrypted mempool）在永续合约（perpetual futures）资金费率场景下的安全性问题。加密内存池旨在隐藏交易内容直到执行顺序固定，从而防止最大化提取价值（MEV）攻击。然而，本文揭示了一种新型攻
Stability Buys Time: A Re-Keying Game for Encrypted Multi-Agent Control
本文针对基于近似全同态加密（FHE）的多智能体控制系统中存在的安全与性能权衡问题，提出了一种新的博弈论分析框架。在加密控制场景下，云端使用CKKS方案对智能体的状态进行全同态加密计算，但由于控制环需要解密以执行控制动作，解密过程中会泄露加密
A Knowledge-Based Multi-Agent Framework for Security Control Recommendation
本文提出了一种基于知识的智能体框架，用于安全控制推荐，旨在帮助缺乏网络安全专业知识的IT团队完成本地环境的加固工作。该框架被设计为一个安全决策支持系统（DSS），能够根据用户对安全维度的最低要求，推荐合适的安全控制子族。研究首先从信息安全领
6G Sensing Security: Distributed Game-Theoretic RL for Urban Beamforming and Attacker Detection
该论文针对6G网络中的安全挑战，特别是集成感知与通信（ISAC）系统中的攻击者检测问题。在6G网络中，通信系统不仅传输数据，还能感知周围环境，实现ISAC。然而，这种能力也引入了新的安全风险：攻击者可以操纵波束赋形方向以增加干扰，误导发射机
A Lifecycle and Application-Stack Survey of Large Language Model Vulnerabilities: Attacks, Risks, Defenses, and Open Problems
本文对大型语言模型（LLM）的系统化安全性研究进行了综述，创新性地从生命周期和应用栈视角分析漏洞。研究指出，LLM已从单纯的文本生成器演变为嵌入检索管道、企业助手、编码环境、机器人系统、安全操作工作流和自主代理的复杂系统，能够读取私有数据、
Rethinking Collaborative Trust for Verifiably Decentralized Blockchain Systems
本文针对区块链系统中普遍存在的中心化问题展开研究。尽管区块链技术承诺去中心化，但多项测量研究表明，在实际的区块链系统（如比特币、以太坊）中，几乎所有层面（共识、治理、应用等）都出现了显著的中心化现象，且难以明确量化中心化程度。现有去中心化改
GTI-mSEMP Framework : A Proposed Framework to Simulate Malware Propagation with Inclusion of Attacker-Defender Strategy
本文提出了一种名为GTI-mSEMP（博弈论集成改进型多无线传感器流行病恶意软件传播）的框架，用于模拟异构、资源受限的赛博物理网络中恶意软件的传播，并明确纳入攻击者与防御者之间的策略博弈。传统的流行病学模型通常将安全防御视为静态参数，无法捕
Game-Theoretic Framework for Private Data Sharing in Vehicular Networks
该论文针对车载网络中数据共享的隐私和可扩展性问题，提出了一种基于博弈论的新型框架。框架采用混合架构，由提供传感器数据的车辆、通过安全多方计算独立处理数据的服务器、管理数据流的协调节点以及设定经济激励的数据消费者组成。核心创新在于结合Stac
Security-Induced Braess Paradoxes in Service Function Chain Orchestration
该论文研究了网络功能虚拟化（NFV）与软件定义网络（SDN）编排中一个反直觉的现象：添加安全功能（如防火墙、入侵检测系统、WAF等）选项反而可能导致整体服务性能下降，即安全引发的Braess悖论。作者通过博弈论模型分析，证明了在服务功能链（
Beyond Runtime Enforcement: Shield Synthesis as Defensibility Analysis for Adversarial Networks
本文重新审视了强化学习中的盾牌合成技术，指出其传统上作为运行时安全机制的定位存在偏差。作者提出将相同的自动机理论工具——规范编译、乘积博弈构建、吸引子计算和获胜区域提取——重新解读为设计时的分析仪器，其输出是对系统安全属性的结构性洞察，而非
The Economics of Proof-of-Useful-Work
该论文从经济学角度分析了“有用工作量证明”（Proof-of-Useful-Work, PoUW）区块链的均衡特性。传统工作量证明（PoW）如比特币，其计算消耗仅用于维护共识，不产生外部经济价值；而PoUW旨在让同一计算既能保障区块链安全，