When One Leak Pays Forever: Context Binding and the Price of Deterring Collusion
本文研究阈值加密内存池（threshold-encrypted mempool，当前对抗 MEV 抢跑的主要防御手段之一）中解密委员会的合谋威慑问题。核心洞察是：一次泄露往往能反复获利——当解密委员会中达到法定人数（例如 n 名成员中的任意
#game-theory
共收录 32 条相关情报。
← 返回所有主题From Reconnaissance to Response: Quantitative Risk Parameterization and Game Theoretic Containment in Modern Enterprise Attack
论文聚焦现代企业安全运营中心（SOC）面临的响应延迟问题：人工处置滞后使攻击者得以在杀伤链的早期侦察阶段持续推进。作者指出，经典博弈论防御模型虽然能优化防御资源的战略分配，但其效用矩阵是静态的，无法随实时遥测数据自适应调整。为此，论文提出一
How Much Must a Private Mempool Hide? Exact Leakage Thresholds for Sandwich Attacks
本文研究私有/加密内存池（private mempool）在对抗三明治攻击（sandwich attack）与 MEV 提取时的隐私边界问题。现实中，私有内存池很少隐藏全部信息：交易对（pair）、交易方向、以及交易规模的粗略区间往往仍会泄
Too Late to Slash: Coordinating a Risk-Free Equivocation Attack
该论文针对权益证明（PoS）区块链中「罚没（slashing）」机制的经济安全性假设提出质疑，并给出形式化的博弈论反驳。传统观点认为：在没有罚没的情况下，验证者可以无成本地发起模棱两可（equivocation，即对同一高度签署相互冲突的区
Credible AUctions via MPC Gadgets: Bounding Information Leakage Under Abort
本文研究“可信拍卖”(credible auction) 的设计问题：一个以最大化自身收益为目标的拍卖方，如何被机制本身约束而不偏离协议。当拍卖方可以控制影子出价者(shill bidders) 时，可信性面临根本性的密码学障碍。直观的解决
Epsilon-Nash Equilibria in History-Dependent SA-MDPs
该论文研究状态对抗马尔可夫决策过程（SA-MDP），并将其建模为一场针对观测空间攻击的博弈：智能体每一步根据接收到的观测选择动作，而对手知道智能体所处的真实状态，并在一个依赖状态的邻近集合内选择一个被扰动的观测。已有工作主要聚焦马尔可夫策略
Tractable Defense against Advanced Persistent Threats in Networked Settings
该论文关注大规模网络环境下防御高级持续性威胁（APT）的决策理论问题。作者基于近期提出的布尔动力系统（Boolean Dynamical Systems）框架展开研究，该框架能自然刻画 APT 的四个第一性原理要素：攻击的隐蔽性、来自入侵检
Decentralized network congestion control for DAG-based distributed ledger system
该论文聚焦于分布式账本技术（DLT）网络中一个长期被忽视的问题：去中心化网络的拥塞控制。作者指出，中心化通信系统的拥塞控制已是成熟研究领域，但针对去中心化网络、尤其是区块链与基于有向无环图（DAG）的 DLT 网络的拥塞控制研究起步较晚且不
A Bayesian Correlated Equilibrium for Early Insider-Threat Detection
该论文提出一种基于贝叶斯博弈论的内部威胁早期检测机制。研究者将内部威胁检测建模为动态贝叶斯博弈，其中平台协调一个由多个战略认证者组成的委员会，在诚实用户之间维持均衡，并在数据外泄之前检测恶意偏离行为。认证者与用户在一个称为贝叶斯时间相关均衡
Networked Multi-Resource Defense Capabilities in a General Lotto Game
本论文研究复杂系统安全中的多类型防御资源分配问题。在网络安全中，防御者通常拥有多种异构防御资产（如防火墙、入侵检测系统、蜜罐等），需要针对不同类型的攻击（如DDoS、恶意软件、钓鱼等）进行最优部署。作者将这一问题建模为一般Lotto博弈（G
Optimal Adversarial Testing: Extracting Honest Test Results from Dishonest Test Takers
该论文研究在测试结果可能被不诚实测试者恶意扭曲的情况下，如何设计最优测试策略以恢复真实测试结果。现实中的考试、评估等场景常面临作弊或对抗性行为，随着AI技术发展，利用AI作弊的现象愈发普遍和严重，导致测试结果的可靠性受到威胁。作者将测试问题
Rational Dolev--Yao Attackers: Decidable Incentive-Aware Verification of Security Protocols in Strategic Logic
本文提出“理性 Dolev-Yao 攻击者”模型，将传统符号化协议验证中的 Dolev-Yao 入侵者扩展为具有成本与收益考量的理性主体。传统 DY 入侵者在知识允许范围内执行所有可能动作，不论是否有利于达成目标；而真实对手会最大化效用，仅
A contribution to the critique of blockchain censorship
本文研究区块链审查攻击（blockchain censorship attack）的博弈论基础及其在权益证明（PoS）网络中的均衡影响。作者首先回顾了已有文献[21]中提出的审查攻击模型，该模型表明参与攻击是验证者的占优策略。在此背景下，论
Repeated-Game Security for Restaking-Based Verifiable Inference
本文研究基于再质押（restaking）协议的可验证大语言模型（LLM）推理安全问题。这类协议通过经济惩罚机制（slashing）取代了 zkML 的高昂证明成本或 TEE 的硬件信任假设，从而以较低成本实现推理的可验证性。现有安全性论证通
Beyond Best Response: Quantal Stackelberg Deception as Insurance Against Attacker Misspecification
本文针对 Stackelberg 安全博弈（SSG）中攻击者完美理性这一不切实际的假设展开研究。在传统 SSG 中，防御者先公布策略，攻击者观察后选择最大化自身期望效用的目标；但在现实应用中，攻击者往往存在认知偏差、信息不完全或决策噪声，尤
Resource-Aware Intrusion Detection in Infrastructure Networks: A Game-Theoretic Approach
该论文针对基础设施网络中的入侵检测问题，提出了一种基于博弈论的资源分配方法。研究背景是：基础设施网络（如集成传感与通信ISAC系统）依赖分布式传感设备在网络边缘检测入侵，以在攻击者到达关键资产前进行拦截。然而，传感设备、通信带宽和边缘服务器
Strategies for quantum-enabled Bitcoin miners
该论文研究了两台配备专用量子计算机的矿工在比特币网络中的竞争挖矿行为对51%攻击阈值的影响。作者扩展了现有的比特币挖矿博弈论框架，计算了相应的支付矩阵。通过考虑非共谋且激进的量子矿工在经典比特币网络中多次尝试寻找有效区块的场景，确定了最优量
HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems.
本文针对网络物理系统（CPS）的安全建模问题，提出了一种结合混合输入输出自动机（HIOA）与博弈论的方法。在CPS中，多个子网络由不同的防御者拥有，安全威胁通过攻击图表示，防御者需要在有限预算下合理投资以保护关键资产。作者首先建立了HIOA
Stability Buys Time: A Re-Keying Game for Encrypted Multi-Agent Control
本文针对基于近似全同态加密（FHE）的多智能体控制系统中存在的安全与性能权衡问题，提出了一种新的博弈论分析框架。在加密控制场景下，云端使用CKKS方案对智能体的状态进行全同态加密计算，但由于控制环需要解密以执行控制动作，解密过程中会泄露加密
6G Sensing Security: Distributed Game-Theoretic RL for Urban Beamforming and Attacker Detection
该论文针对6G网络中的安全挑战，特别是集成感知与通信（ISAC）系统中的攻击者检测问题。在6G网络中，通信系统不仅传输数据，还能感知周围环境，实现ISAC。然而，这种能力也引入了新的安全风险：攻击者可以操纵波束赋形方向以增加干扰，误导发射机