这篇论文针对 Tor 匿名网络性能研究的实验方法论提出批判与改进。以往研究在评估 Tor 性能改进方案时，通常只对标准 Tor 和每个研究变体各运行一次模拟，然后直接根据单次模拟的观测结果下结论。然而，由于模拟是在抽样生成的 Tor 网络中进行的，抽样误差本身就可能导致观测到的效果，因此未考虑统计显著性的结论在实践意义上值得怀疑。作者为此构建了改进 Tor 实验方法的基础。首先，他们提出一种新的 Tor 网络建模方法，能够生成更具代表性的 Tor 网络；同时开发了新的改进型实验工具，使 Tor 模拟运行速度更快、规模更大。作者展示的模拟实验包含 6,489 个中继和 79.2 万同时在线用户，这是目前已知最大规模的 Tor 网络模拟，也是首次达到 100% 网络规模的模拟。其次，他们提出了新的统计方法论，用于：（i）证明必须在独立抽样的多个网络中运行多次模拟，才能获得有信息量的结果；（ii）展示如何利用多次模拟的结果进行可靠的统计推断。论文通过一个包含 420 次模拟的案例研究，演示了如何将新方法应用于具体的 Tor 实验，并分析其结果。该研究对于 Tor 性能改进领域的实证研究具有重要的方法学指导意义，有助于提升 Tor 实验结论的可信度和可复现性。适合 Tor 开发者、匿名通信研究人员以及关注网络实验统计严谨性的安全工程师阅读。

本文针对水务基础设施中网络物理系统（CPS）的安全与弹性建模问题展开研究。作者指出，现代水分配与管理系统的安全性常被忽视，而随着针对工业控制系统（ICS）的攻击工具日益普及，水网络面临的实际网络威胁愈发严峻。现有仿真工具在水力动力学建模方面较为成熟，但对CPS组件（如传感器、控制器、执行器等）的表示以及故障/攻击场景下的网络行为模拟存在明显不足。为此，论文提出在常用的水力仿真工具包——水网络韧性工具（WNTR）基础上开发一个模块化附加组件，用以填补这一功能空白。该模块支持在网络中嵌入CPS设备，并能够模拟针对这些设备的故障与攻击场景，从网络整体层面评估每个设备的关键性，同时为未来更深入的网络流量仿真与设备交互分析预留了扩展接口。论文首先回顾了CPS在ICS中的作用以及仿真在系统评估和设计测试中的价值，然后详细描述了模块的设计思路与实现方案。这项工作为水务部门的安全评估与弹性规划提供了实用工具，有助于安全工程师和基础设施管理者在虚拟环境中测试防御策略，而无需在真实系统上进行高风险操作。目前本文仅提供方法框架与设计构想，尚未给出完整的实验验证结果。

本文针对本地差分隐私（LDP）中广泛使用的优化局部哈希（OLH）协议，提出两种基于二项分布建模的快速仿真算法（2-Binom 和 3-Binom）。现有 OLH 仿真通常需遍历所有用户和整个域，计算复杂度为 O(nd)，其中 n 为用户规模，d 为域大小，导致大规模场景下仿真耗时严重。作者的核心洞察是：对于任意域值 v，其扰动报告支持 v 的用户总数可分解为两个或三个二项随机变量之和。基于此，所提算法将仿真复杂度降至 O(n+d)，同时保持统计等价性。理论上，作者证明两种算法均能产生无偏的频率估计，且方差与原始 OLH 仿真完全一致。在真实数据集上的实验表明，两种算法能将执行时间从数分钟缩短至毫秒级，在保证效用不变的前提下实现显著加速。该工作适用于需要大量重复实验的 LDP 研究与应用评估场景，尤其对隐私保护机器学习、数据采集系统的性能调优具有参考价值。适合关注 LDP 协议效率、仿真工具优化以及隐私计算实验方法的研究人员和工程师阅读。

本文研究比特币网络在面对有争议的软分叉时的韧性，并提出一个双层次框架来发现导致持续链分裂的关键场景。传统上，比特币共识被认为主要依赖协议规则和算力多数，但实际结果还取决于具有不同经济利益的异构节点网络的涌现行为。作者采用场景发现（Scenario Discovery）方法，结合集成仿真与患者规则归纳法（PRIM），在Warnet仿真环境中运行真实的bitcoind节点，构建了1330个有效场景，覆盖经济权重、矿池承诺、矿池意识形态、总算力和难度调整机制等关键维度。通过识别参数阈值，他们区分了干净解决与争议分裂的边界。核心发现是：在比特币的实际难度调整区间和中等价格偏差下，经济权重分布（而非算力多数）是决定分叉结果的主要因素。具体而言，存在一个经济支持下限（0.45-0.50）和覆盖上限（0.78-0.82），两者之间为争议区域，并存在一个经济自我维持点（0.74）。此外，矿池承诺存在一个‘翻转点’（约0.214的承诺算力），当最大矿池承诺升级链时，结果可能反转。研究还表明，分叉结果在算力和经济采纳两个独立层次上决定，且受不同参数控制。个体用户节点在建模的经济权重下对分叉结果无可检测的影响。最后，作者提出三个可由公开数据回答的监测问题，将阈值转化为操作指南。该研究对理解去中心化共识的韧性、分叉风险预测以及区块链治理具有重要贡献。

企业网络持续面临高级持续性威胁（APT）的攻击，攻击者利用软件漏洞逐步渗透关键资产。随着披露的漏洞数量增长，资源受限的组织必须优先修补哪些漏洞。现有的漏洞优先级标准（如CVSS）对每个漏洞独立评分，无法评估修补策略在对抗随时间在网络中推进的攻击者时的实际效果。先前的模拟工具采用强化学习（RL）模拟攻击活动，但要么忽略了漏洞管理（即攻击者不受防御阻碍），要么依赖与真实威胁数据脱节的合成网络，因此无法评估策略对抗真实攻击者的表现。为填补这一空白，本文提出了VulnGym，一个用于评估漏洞管理策略的仿真工具。VulnGym模拟一个由RL训练的攻击者，其行为基于真实的APT配置文件（如攻击模式、速度、目标选择），同时防御者执行可配置的修补策略（如基于CVSS分数、资产重要性等）。两者在一个共享且持续演化的网络表示上行动，攻击者的进展直接受防御者修补活动的影响，从而能够对给定策略进行压力测试。实验基于真实世界的漏洞数据（如CVE）和两个APT案例（例如APT29、APT41等，摘要未明确但提及两个APT），结果显示漏洞管理必须根据组织环境、对手行为、网络拓扑和资产关键性进行定制化调整。该工具可帮助安全团队在部署前比较不同修补策略的效果，优化资源分配。

本文提出 Crucible，一个纯软件框架，能够在任意 x86 CPU 上透明地模拟 Meltdown 类型的瞬态执行漏洞。由于易受攻击的旧 CPU 日益稀缺，且物理实验环境难以共享，微架构安全领域的研究与教学面临可重复性危机。Crucible 通过在不同进程中影子指令流，在故障后模拟瞬态执行的核心微架构效应，包括缓存泄漏、瞬态窗口和屏障行为。它能够运行未经修改的公开 PoC 甚至完整的漏洞利用代码，且泄漏模式与真实硬件匹配。作者成功在不受影响的硬件上复现了三个完整的端到端漏洞利用，例如从 VeraCrypt 中提取密钥。Crucible 支持测试仅二进制形式的应用程序，并与先进模糊测试器集成，后者检测模拟漏洞的效果与真实 CPU 相当。此外，还通过两个人工漏洞评估了模糊器行为的泛化能力。该工作为系统化、可重复的 CPU 安全实验提供了平台，可保留遗留漏洞、比较检测方法，并用于教学训练。

该论文提出了一种名为Vogls的开源Verilog模拟器，专门用于预硅功耗侧信道分析。现有功能验证模拟器（如Icarus Verilog和Verilator）在侧信道分析场景中存在不足：它们要么无法高效生成大量短迹线，要么缺乏精细的定时模型。Vogls首次结合了编译代码性能、全定时模拟（full-timing simulation）以及对模拟状态的细粒度控制。在门级AES设计上，Vogls比Icarus Verilog快5.9倍；在PicoRV32 RTL设计上，虽然比Verilator慢约30%，但提供了更精确的定时模型。Vogls提供了Python接口，允许用户在不修改硬件设计的情况下暂停、分支、检查和变异模拟点，从而保持定时和泄漏特征。此外，其迹线采集工作流只需执行一次设置代码，然后在兴趣点分支，避免了每次迹线都从复位重新模拟的开销。案例研究在RTL、GTL和全定时GTL抽象级别成功实现了差分功耗分析攻击，恢复了密钥。该工具旨在加速硬件安全设计的侧信道分析评估过程。

该论文介绍了InjectV，一个基于gem5模拟器的RISC-V平台故障注入攻击框架。故障注入攻击（FIA）通过诱导计算或存储中的恶意故障来破坏系统安全。在硅前开发阶段评估抗攻击能力因物理实验成本高、复杂度大且可用性有限而极具挑战。InjectV提供了一种开发者导向的白盒视角，通过架构级模拟实现系统化的漏洞评估。它在安全关键的执行点（如控制流决策、计数器和比较操作）实现精确、引导式的故障注入，支持对攻击向量的系统探索。当前版本支持寄存器和内存中的瞬态故障攻击，扩展了模拟不同攻击场景的能力。实验基于FISSC套件中的安全基准测试（包括VerifyPIN应用的硬化变体）进行，结果表明InjectV能够有效识别故障注入点，与传统方法相比节省了95.8%的时间。该工作为硬件安全评估提供了低成本、高效率的预硅验证工具。

内部威胁是企业安全领域持续存在的重大风险，但由于恶意行为常隐藏于细微的用户活动中，在复杂企业环境下难以检测。现有基于机器学习的内部威胁检测（ITD）技术受限于高质量、真实训练数据的缺乏——公共数据集规模小，合成数据集缺乏泛化性、丰富语义和真实行为模式。本文提出Chimera，一个基于大语言模型的多智能体框架，可自动模拟良性及恶意的内部活动，并监控跨企业环境的系统日志。Chimera将每个智能体建模为具有精细角色的个体员工，并引入小组会议、成对交互和自组织调度以捕捉真实组织动态。基于从真实事件抽象出的15种内部攻击类型，Chimera在三个典型数据敏感组织场景中部署，构建了新数据集ChimeraLog。通过人工研究和定量分析验证了数据集的多样性和真实性。现有ITD方法在ChimeraLog上的检测性能显著低于现有数据集，表明其是更具挑战性和现实性的基准。尽管存在分布偏移，在ChimeraLog上训练的ITD模型展现出强泛化能力，凸显了基于LLM的多智能体仿真在推进ITD方面的实用价值。