这是一篇系统化知识综述（SoK），主题是『后量子时代的稳定币』。作者指出，稳定币已承担数字资产生态中的支付、交易、抵押与跨链结算职能，其价值高度集中于发行方、托管方、升级权限、预言机与跨链桥所掌握的密钥之上；同时它又继承了所在主链账户、共识、Rollup 与隐私系统固有的量子脆弱性。因此量子威胁对稳定币而言并非单纯签名被伪造，而是『货币控制权』被夺取的复合风险。论文的核心贡献包括：(1) 构建面向稳定币的专用威胁模型，把密码学依赖逐项映射到货币控制面（铸币/销毁、冻结、赎回、治理升级、跨链映射等）；(2) 沿三个维度对后量子迁移方案分类——谁有权授权变更、变更必须发生在哪一层，以及形态属于混合（经典与后量子并行）、后量子原生还是对经典组件的封装（encapsulation）；(3) 提出并强调『权责错配（authority-liability gap）』：能执行迁移的一方，往往与迁移失败时承担损失的持有者、交易所、协议或发行方不是同一主体，使迁移的治理与责任问题比纯技术问题更棘手；(4) 梳理相关密码学原语，并刻意区分一般性区块链失效与其在稳定币场景下的特有后果；(5) 考察近期区块链层与发行方主导的互操作性提案，并把迁移选择与现行稳定币监管下的赎回、业务连续性、监管干预要求挂钩。论文最后列出开放问题：聚合与门限授权、按操作划分的安全等级与成本、休眠与封装（wrapped）供应量、隐私与合规兼顾的转账，以及量子风险敞口的度量方法。适合区块链安全研究者、交易所与托管机构安全团队、稳定币发行方的密码学与治理团队，以及监管科技从业者阅读。

本论文是一篇针对硬件模糊测试(hardware fuzzing)的系统化知识综述(SoK)。作者指出,硬件模糊测试虽已成为安全验证研究中的活跃方向,但其工业界落地仍处于早期阶段,研究结论与实际部署之间存在明显断层。为厘清这一差距,论文系统考察了软件模糊测试中的哪些经验可以迁移到硬件场景,以及哪些环节必须采用硬件特有的方法。作者收集并分析了 52 个面向不同硬件层次的模糊测试工具,覆盖 RTL/IP、CPU、NoC(片上网络)与 SoC 四类设计目标,并在此基础上提出一个统一的分析框架,把验证过程建模为一次『有界搜索』(bounded search)。该搜索由六个要素共同界定:目标(objective)、判定基准(oracle)、引导策略(guidance)、输入生成(input generation)、目标抽象层次(target abstraction)与预算(budget)。框架的核心洞察是:一次测试活动只能发现它在资源耗尽之前能够有效『到达』(reach)、『识别』(recognize)并『优先排序』(prioritize)的失效——即可达性、可观测性与资源约束三者共同决定了 fuzzing 的能力上限,任何脱离这三点的覆盖率或缺陷数量宣称都需要重新审视。基于该框架,作者进一步区分了硬件模糊测试的两类定位:其一是通过反馈驱动的覆盖率增强受限随机验证(CRV);其二是依据威胁模型与安全规范开展定向对抗测试。作者据此界定了各类方案『能观测什么』与『能生成什么』,为评估文献中报告结果的证据强度提供了统一标尺。论文最终结论认为,硬件模糊测试若想走向主流应用,需要可复用的接口、面向具体目标的验证资产、可复现的评估方法,以及对成本与用户人力投入的透明报告。

本文是一篇系统化知识（SoK）论文，聚焦 Linux 内核缺陷从发现到部署的完整生命周期。背景是：近年来自动化内核缺陷发现能力快速提升，以 syzbot 为代表的持续模糊测试与静态分析系统，已能以远超下游处理能力的规模持续暴露 Linux 内核缺陷。但崩溃报告只是起点：一个缺陷在被真正消除前，还需经历分诊、理解、补丁生成、验证、审查、集成，且往往需要回合入旧版本。论文指出这些后续环节的自动化程度远低于发现环节，从而形成持续存在的“崩溃到补丁”缺口。作者将已有研究与生产系统归纳为五个阶段：缺陷发现、分诊、补丁生成、补丁验证、补丁集成，并借助内核特有的挑战解释自动化程度呈梯度的原因，包括并发、隐式不变量、跨系统调用状态、硬件依赖、缺乏故障隔离，以及架构与配置组合爆炸。为支撑分析，作者对真实的 syzbot 已修复缺陷进行测量。数据显示，崩溃到补丁的缺口不仅是未修复报告的积压，更是修复流水线的结构性失效：即使缺陷已被修复，相关报告仍可能持续开放数周，需要由审查驱动的补丁修订，或缺少当前修复与验证系统默认假设的可复现用例。论文由此揭示更深层错配——现有修复与验证技术通常假设存在可靠复现、局部化根因、可检查的正确性判据，而这些恰恰是许多真实内核缺陷报告所缺失的产物。作者主张，缩小缺口应把此类产物视为需要被产出的结果，而不是默认存在的前提。

该论文是一篇系统性综述 (SoK), 聚焦于一个长期被分散讨论的安全议题: 可解释人工智能 (XAI) 所输出的解释信息, 如何反过来成为攻击者窃取模型机密与训练数据隐私的入口。作者指出, 机器学习解释原本用于提升模型透明度, 但它揭示的是预测之外的模型内部行为, 因此天然扩大了对模型机密性 (model confidentiality) 与数据隐私 (data privacy) 的攻击面。论文系统梳理了 25 项利用解释信息实施模型窃取 (model extraction)、成员推断 (membership inference) 与模型反演 (model inversion) 的研究, 并将属性推断 (attribute inference) 视为模型反演的部分形式统一纳入分析框架。 论文的核心批评是: 现有工作往往只用黑盒 / 白盒二分法来标注威胁模型, 这种标签掩盖了关键差异 —— 攻击者究竟通过什么途径获得解释信号, 以及获得的是哪种解释信号。为此作者提出两层解耦: 把"对模型的先验知识"与"解释信息的获取方式"分开, 并归纳出五条解释获取路径: 目标方主动发布 (target-released)、攻击者自行推导 (attacker-derived)、二次披露 (secondary disclosure)、特权访问 (privileged access)、以及公开发布的全局产物 (released global artifacts)。 沿这五条路径, 论文给出了机制层面的结论: 解释可以显著降低模型抽取的成本; 通过解释统计量、追索距离 (recourse distance) 以及解释引导的鲁棒性信息, 会暴露成员信号; 解释还可支撑对私有输入的空間或代数重建。随后论文在多维度上对研究进行横向对比, 包括系统与威胁模型、解释信号类型、辅助知识、目标模型、数据模态、查询预算、评估指标、报告性能以及防御手段。 最重要的结论是: 不存在"一律不安全"的解释族, 也不存在"普遍有效"的防御。风险高低取决于四个变量 —— 暴露的是哪种信号、信号如何被获取、攻击目标是什么资产、以及攻击者已掌握哪些先验知识。作者因此主张把"解释隐私"当作端到端的信息披露问题来评估, 并让防御措施与具体的获取路径和被保护资产相匹配, 而不是笼统地禁用或信任某一类解释方法。该文适合 XAI 研究者、ML 隐私与模型安全工程师、以及需要评估第三方解释服务 (如解释 API) 风险的安全架构师阅读。

本文是面向系统安全的系统化知识综述（Systematization of Knowledge, SoK），聚焦软件化多域数据隔离（Multi-Domain Data Segregation, MDDS）在任务关键型语音通信系统（VCS）中的应用与安全挑战。传统上，高安全等级的语音通信依赖物理隔离的Red/Black架构，通过硬件方式确保语音与数据在不同密级域之间严格分离。虽然硬件隔离提供了强安全保证，但在现代国防、应急响应和关键基础设施等场景中，随着多域集成需求日益动态化，物理架构暴露出复杂度高、扩展性差、成本高等问题。本文系统梳理了从硬件隔离向软件定义隔离转换的相关研究与技术，整合了系统安全、网络工程与密码学领域的知识，旨在回答一个核心问题：软件化方案能否在满足现代互操作性和灵活性的同时，提供与硬件物理隔离相当的保障能力。文中重点考察了软件定义网络（SDN）、网络切片（Network Slicing）、分离内核（Separation Kernels）以及跨域解决方案（Cross-Domain Solutions）的安全含义，并讨论了量子计算对现有密码体系的威胁，引入后量子密码（PQC）作为应对方向。作者通过分析现有文献，归纳出共享的架构模式，识别了下一代高保障软件化VCS所面临的安全挑战与开放问题。该综述为研究人员和行业从业者提供了从硬件隔离到软件隔离迁移路径的全景图，有助于指导可扩展、高保障、支持实时跨域安全协同的VCS架构设计。文章核心贡献在于：系统化比较了不同软件隔离技术的安全属性，指出了单一技术的局限性，并强调组合使用与纵深防御的必要性。适合关注高保障通信系统、跨域信息交换、软件定义安全架构的研究人员、安全架构师及国防和关键基础设施领域的技术决策者阅读。

本文是一篇面向系统化知识的综述（SoK）论文，聚焦于人工智能（尤其是大语言模型）在网络威胁情报（CTI）生成与共享流程中的应用。研究背景是：CTI 对于保护关键基础设施至关重要，但从原始攻击证据到可共享情报的转化过程目前碎片化且缺乏系统研究。作者首先对学术文献进行了系统梳理，将 CTI 生命周期划分为三个阶段：威胁数据收集、CTI 生成与共享、CTI 消费。文献分析显示，第一阶段和第三阶段已有较多研究，而第二阶段（生成与共享）仅有少量论文涉及。为了解该阶段的真实实践，作者对多个组织中日常生成和共享 CTI 的从业人员进行了问卷调查。受访者描述该过程目前主要依赖人工操作，并反复面临四类挑战：防止敏感信息泄露、从嘈杂的攻击数据中提取指标（IOC）、将观察到的行为与标准化的战术、技术和程序（TTP）相关联、以及将 CTI 转换为共享平台要求的格式。基于从业者反馈，作者将 CTI 生成与共享阶段细分为四个子步骤：情报提取（Intelligence Extraction）、标准化与富化（Normalization and Enrichment）、编码化（Codification）和分发（Distribution）。随后，作者针对每个子步骤开展了试点研究，评估当前大语言模型（LLM）的可行性。试点结果表明，LLM 在这四个子步骤中都能为分析人员提供辅助，但模型只能恢复证据中包含的一小部分指标，难以将每个论断都扎实地追溯到所提供证据，也无法自行判断哪些共享情报对接收方真正有用。因此，每个子步骤仍然需要专家监督。基于这些观察，作者提出了三个自动化生产可共享情报的未来研究方向。本文的核心贡献在于：系统化梳理 CTI 生命周期、通过实证揭示 CTI 生成与共享中的实践瓶颈、并首次针对 LLM 在该环节的可行性进行分步评估。适合关注 LLM 安全应用、威胁情报自动化以及蓝队运营效率提升的研究人员和安全工程师阅读。

该论文是一篇关于多智能体LLM系统（MAS）安全的系统化综述（SoK）。研究背景是：多智能体LLM系统在多个主体之间传递信息、状态、决策和权限，这种跨主体的交互可能引发局部安全检查无法发现的系统性故障。作者指出，如果没有执行级别的视图，多智能体设置很容易被误认为是真正的多智能体安全效应的证据。因此，论文通过对197篇相关工作的执行中心化分析，系统化地梳理了MAS安全，涵盖了六个交互接口、四种对手位置、七类系统级风险和八种反复出现的攻击路径。论文提出了一个A-I-R框架，按照对手位置、交互接口和产生的系统级风险来组织攻击，统一了原先碎片化的攻击机制。在防御方面，论文提出了一个五部分契约，涵盖路径目标、观察、干预、信任边界和恢复，并指出路径闭合和恢复是关键挑战。此外，论文还审计了44个评估与基准工作，指出了在隔离交互效应、设计可比较和诊断性指标、支持跨MAS设计复用以及评估开放系统运行方面的开放挑战。总体而言，论文呼吁采用交互感知的MAS安全视角：端到端追踪攻击，测试防御是否能闭合这些路径，并使用适当的反事实来评估系统级效果。该研究适合安全研究人员、LLM系统设计者以及关注多智能体安全性的蓝队人员阅读。

本文是一篇系统化知识（SoK）论文，聚焦于真实世界中多层间接调用分析（Multi-Layer Indirect Call Analysis）的现状与挑战。间接调用（如通过函数指针、虚函数表、回调等）是现代二进制程序中常见的控制流转移方式，但其目标在静态分析时往往难以确定，因而成为漏洞挖掘、恶意代码分析和程序理解中的关键难点。论文对现有间接调用分析技术进行了全面梳理，将其划分为多个层次（如指令级、函数级、程序级等），并系统比较了不同方法在精度、召回率、可扩展性和实际可用性之间的权衡。作者通过实验评估了多种代表性工具在实际软件（包括操作系统内核、用户态应用等）上的表现，指出了当前方法在真实世界应用中的局限性，例如由于间接调用目标集合过大导致的误报、分析规模扩大带来的性能开销、以及动态特性（如内联汇编、动态代码生成）对静态分析的干扰。论文还总结了一套面向研究者和工程师的经验法则，帮助其选择适合特定场景的分析策略，并提出了未来研究方向，包括结合机器学习与符号推理、跨语言和跨架构的通用分析框架等。适合安全分析工具开发者、二进制分析研究者和编译器工程师阅读。

本文是一篇关于硬件模糊测试（Hardware Fuzzing）的系统性综述（SoK），旨在系统化梳理当前硬件模糊测试技术在三个主要抽象层次上的研究现状与挑战，这三个层次分别是指令集架构（ISA）、微架构（Microarchitecture）以及寄存器传输级（RTL）。研究从输入刺激质量、变异策略、反馈机制、目标平台、参考模型以及覆盖率等多个关键维度，对现有硬件模糊测试方法进行了全面分析和横向比较。作者发现，不同抽象层次在挑战、目标和设计权衡上存在显著差异：ISA 层更关注指令序列的合法性与语义覆盖；微架构层侧重于触发深层流水线竞争或缓存行为；而 RTL 层则需要在门级或寄存器传输级上快速生成能触发设计缺陷的激励。文中进一步指出现有硬件模糊测试实践中存在的若干尚未满足的需求，包括智能输入生成、可靠且可扩展的黄金参考模型、表达力更强的反馈通道，以及跨层集成能力。基于这些洞察，作者提出了未来研究方向，涵盖混合模糊测试框架、AI 辅助测试生成、可扩展参考模型、标准化评估指标与基准测试，以及将人工引入循环的自动化引导探索与分析。整体目标是为了实现高效、可靠且全面的硬件验证解决方案。本文适合硬件安全研究人员、EDA 工具开发者、芯片验证工程师以及关注硬件供应链安全的蓝队成员阅读，有助于理解硬件模糊测试的技术边界和演进方向。

本文是一篇关于计算机辅助密码学（Computer-Aided Cryptography）的系统化综述（SoK），旨在梳理该领域的研究进展与应用边界。随着密码学协议和实现日益复杂，传统手工分析与测试难以保证安全性与正确性。计算机辅助密码学通过形式化、可机器检查的手段，贯穿密码设计、分析和实现的全生命周期。论文将现有文献划分为三大方向：一是设计级别的安全性，包括符号安全模型（如Dolev-Yao）与计算安全模型（如可证明安全），以及如何通过自动化工具验证协议属性；二是功能正确性与效率，确保密码算法或协议实现符合规范且高效；三是实现级别的安全性，重点研究数字侧信道（如时序、功耗）的抵抗能力。针对每个方向，论文厘清了计算机辅助密码学的作用与局限性，并给出了现有工具的详细分类，从精确度、适用范围、可信度和可用性等多维度进行对比。随后总结了各方向的代表性成果、设计权衡和开放研究挑战。在案例部分，论文先探讨如何组合不同工具以覆盖更多安全属性，再回顾TLS 1.3标准化过程中社区使用形式化工具的经验。最后，作者向论文作者、工具开发者和标准制定机构提出了具体建议，以促进该领域更好地服务于密码工程实践。

该论文是一篇面向机器学习隐私推断风险的系统化知识（SoK）综述。研究背景是：机器学习模型在生产环境的部署可能使攻击者推断出与训练数据相关的敏感信息，已有大量文献分析了各类推断风险，如成员推断攻击、重建攻击等。受密码学中基于博弈（即概率实验）研究安全性质的成功方法启发，一些研究者也开始用博弈风格来描述机器学习中的隐私推断风险。然而，不同文献对攻击者能力和目标的表述存在微妙差异，导致这些结果难以相互关联和组合，阻碍了知识的系统化积累。为此，作者提出了一种统一的基于博弈的框架来整理现有的知识体系。该框架的核心贡献有三点：（1）为各类隐私推断风险的定义提供了统一的结构性描述，使得不同定义可以在一个共同语言下进行比较；（2）形式化地建立了已有定义之间已知的蕴含等价关系，严谨地刻画了它们之间的联系；（3）发现了此前未被揭示的新关系，这些关系在缺乏统一框架时很难被直观察觉。通过该框架，研究者可以将不同来源的推断风险定义映射到统一的博弈空间中，从而更清晰地评估模型面临的隐私泄漏态势，并为后续的防御研究提供理论基准。本文适合机器学习安全与隐私领域的研究人员、模型风险评估人员以及希望理解隐私推断攻击内在机理的密码学背景安全分析师阅读。由于仅基于摘要，本文档为摘要分析级别。

该论文是一篇系统化知识综述（SoK），系统回顾了过去20年间x86系统管理模式（System Management Mode, SMM）在安全性方面的研究进展与实际威胁。SMM是x86处理器中一种高特权、隔离的CPU执行模式，用于处理系统管理中断（SMI）等底层系统事件，拥有最高的指令权限，独立于操作系统和虚拟机监视器运行。论文从“权力”（CPU为SMM提供的最高执行权限）、“特权”（SMM与系统固件、操作系统、虚拟机监视器之间的信任边界）以及“危险”（已披露的SMM漏洞与攻击技术）三个维度出发，对领域内已发表的研究成果、公开漏洞报告和攻击案例进行了系统梳理与分类。核心贡献包括：提出了一个针对SMM安全威胁的综合性分类框架，将攻击面划分为SMM代码攻击、SMM内存破坏、SMM配置错误、SMM中断注入及侧信道等类别；分析了SMM防御机制（如SMM锁定、芯片组配置校验、内存保护）的演进与有效性；讨论了当前工业实践中的不足，包括固件更新流程、SMM代码审计缺失等问题。论文旨在帮助硬件安全研究人员、固件开发者和系统安全工程师快速理解SMM安全的全貌，识别尚未被充分研究的攻击面，并为未来设计更安全的固件与CPU机制提供参考。由于仅有摘要，未提供实验细节或具体案例统计，但作为SoK论文，其价值在于系统化整理并揭示20年间的SMM安全演变脉络与开放挑战。

该论文为一篇 SoK（系统化知识）论文，主题是蜂窝网络基带（Cellular Basebands）的安全性问题。基带是移动设备中负责与蜂窝网络通信的关键组件，其安全性直接影响用户的通信隐私和设备完整性。论文旨在系统化梳理基带安全领域已有的研究成果、已知漏洞类型、攻击面以及防御措施。由于本次输入仅提供论文标题与作者信息，未包含完整摘要，因此无法详细描述论文的具体方法论和实验发现。基于标题推断，论文可能总结了基带协议实现中的安全弱点、远程攻击途径、基带固件逆向分析技术、以及业界已提出的缓解方案。适合移动安全研究人员、基带固件开发者、以及移动设备安全审计人员阅读。建议读者查阅原文获取更完整的系统化分析结论。

本SoK论文从软件工程视角系统性地综述了隐私文档（如隐私政策）从生成到消费的全生命周期。作者分析了2010至2025年间发表的290篇相关论文，围绕五个核心研究问题展开：隐私文档如何定义与界定、如何生成、如何分析与提取、如何检查不一致性和不合规性、以及如何评估和改进其可用性。研究发现，隐私文档研究已从传统隐私政策扩展到短通知（如隐私标签）和界面级透明机制。基于系统分析，作者识别出15个关键研究趋势和21个开放机会，并进一步提出四个更广泛的研究方向：(i) AI中心平台带来的新兴挑战；(ii) 对多样化和最新数据基础的需求；(iii) 基于大语言模型（LLM）的统一策略-代码分析；(iv) 为最终用户和开发者提供双重可用性。该SoK旨在为隐私政策和隐私文档的未来研究提供共享基础，帮助研究人员和实践者理解现有工作、定位研究空白。对于安全从业者而言，本文提供了隐私合规自动化、隐私文档分析与违规检测等领域的最新研究地图，尤其适合关注隐私工程、合规审计和LLM应用安全的研究人员阅读。

本文是一篇关于加密货币托管与金融技术中密钥恢复的系统化知识综述（SoK）。研究背景在于，加密资产系统通常将密钥控制与金融控制绑定：丢失钱包种子、托管分片、硬件设备或智能账户凭证会导致无法动用资产，而恢复机制若被攻破则可能引发盗窃。然而，现有研究以不同的术语分散讨论密钥备份、秘密共享、账户恢复、凭证重发、社交恢复和资产迁移，使得不同机制与权衡难以比较。为此，作者从118篇系统综述发现语料出发，筛选出77篇综合语料，并对每篇保留的系统进行编码，形成主矩阵，涵盖恢复对象、恢复语义、机制、注册与存储、授权、信任分配、故障事件、恢复后状态、验证证据、部署状态、隐私、可用性和局限性等维度。基于该矩阵，论文提出了一种按轴分类法，将恢复系统分为秘密恢复型、混合型、控制恢复型、取证/提取型和框架导向型。核心观察是：恢复并非单一操作，系统可能重建原始秘密、重新生成种子、恢复共享、重发凭证、迁移签名权限、恢复账户控制、转移资产或提取取证工件。作者推导出一个广义构造模型，并将其与实际生产设计对照，得出六项发现：恢复语义异构；恢复会转移信任；活性改进创造了滥用路径；恢复后生命周期管理不均；协议证据多于用户证据；恢复元数据保护不足。这些差距推动了面向恢复感知金融技术的研究议程。本文适合加密货币安全研究员、托管服务设计者、区块链工程师以及关注数字资产安全与恢复机制的安全从业者阅读。

本文是一篇关于多轮大语言模型（LLM）越狱攻击的系统性综述（SoK）。随着LLM在交互式场景中的广泛部署，用户意图通常通过多轮对话逐步展开。多轮越狱攻击正是利用这一交互模式，将有害意图分散到多个对话轮次中，使得任何单个消息都不暴露完整目标，从而绕过传统的单轮安全审查。然而，现有研究往往将这些攻击视为一组孤立的提示模式，缺乏对攻击者如何跨轮组织和推进有害意图的系统性分析。为此，作者提出了一种面向意图的四部分分类法，依据对抗性意图的结构对多轮越狱进行系统化组织。通过受控消融实验，研究发现攻击的有效性主要由意图跨轮组织的精心程度决定，而非上下文长度或查询数量。进一步分析表明，意图的组织方式直接决定了其可被检测的层级——从轮级（turn-level）提升到会话级（session-level）乃至跨会话级（cross-session level）。这一发现说明，仅依赖单轮局部的安全机制在结构上是不充分的，而基于单点输入的评估方式也会忽略意图的组织特性。因此，作者呼吁评估协议应当与有害意图变得可观测的层级相对齐。本文的核心贡献包括：首次对多轮越狱进行面向意图的系统化分类；通过实验揭示了意图组织与检测层级之间的内在联系；为未来的安全评估和防御机制设计提供了理论指导。文中代码已开源（https://github.com/SiyuanLi00/INTACT）。

该论文是一篇关于社会网络安全（Social Cybersecurity）的系统性综述（SoK）。研究背景是：传统网络安全与隐私（S&P）系统在设计时往往忽略用户的社会行为和社会关系，导致用户在实际使用中难以在理想的安全策略与社会互动之间取得平衡。作者系统分析了先前在社会网络安全领域的工作，并基于其与四个S&P相关的社会行为的相关性进行结构化梳理：(1) 协商共享资源的访问权限；(2) 共享与社会化认证；(3) 管理自我呈现（如隐私设置、个人信息展示）；(4) 影响他人对S&P的行为。进一步地，论文将社会距离划分为四个尺度——亲密、个人、社交、公共——并指出期望的访问控制策略、认证方法以及隐私和共享偏好会随社会尺度变化而变化。作者通过Ackerman在社交计算系统中提出的“社会-技术差距”视角评估当前研究现状，发现社会行为明显影响S&P偏好和需求，但现有S&P系统在设计时对这些行为缺乏理解。这种不匹配迫使用户不得不在实现理想安全策略和降低社交摩擦之间做出选择。为弥合这一差距，论文提出了一项社会网络安全的研究议程，旨在使安全与隐私目标更好地与社会需求、偏好和行为对齐。主要贡献包括：对社会网络安全文献的分类框架、社会距离尺度的引入、对现有系统不足的评估，以及未来研究方向的建议。该论文适合安全系统设计者、隐私研究员、人机交互（HCI）与安全交叉领域的研究人员阅读，有助于理解安全机制设计中的社会维度。

本论文是一篇系统化知识综述（SoK），旨在全面审视安全随机化缓存（Secure Randomized Caches）领域的研究现状。随机化缓存是一种旨在抵御基于缓存的侧信道攻击（如Flush+Reload、Prime+Probe）的硬件或软件对策，其核心思想是通过随机化缓存行与内存地址的映射关系，使攻击者难以推断出受害者的访问模式。论文首先归纳了随机化缓存的设计空间，包括随机化粒度和映射函数（如静态随机化、动态随机化、基于加密的映射等）。接着，论文系统分类了现有的随机化缓存方案（如CEASER、CEASER-S、ScatterCache等），并从安全性（抗泄露能力）、性能开销、硬件复杂度等维度进行了对比分析。论文还讨论了针对这些方案的具体攻击方法（如利用重复访问模式、时序分析等），并分析了不同随机化策略的理论安全界限。此外，论文指出了当前研究的不足之处，例如缺乏统一的安全评估基准、对实际处理器微架构的适应性不足等，并提出了未来研究方向，如结合机器学习攻击的防御、可证明安全的随机化设计等。对于安全从业者，本文提供了理解随机化缓存优缺点的全景视图，有助于评估其在真实系统中的应用风险。

该论文是一篇关于Intel SGX（Software Guard Extensions）安全性的系统化知识（SoK）综述。论文系统梳理了自SGX提出以来学术界和工业界发现的各类攻击向量，包括侧信道攻击（如L1TF、Foreshadow、ZombieLoad等微架构攻击）、软件漏洞（如enclave内内存安全缺陷）以及针对SGX远程认证机制的绕过方法。作者将这些攻击按攻击阶段（初始化、执行、持久化）和攻击面（硬件、固件、软件）进行分类，并评估了现有防御措施的有效性。主要贡献包括：（1）构建了SGX攻击分类体系；（2）对已知攻击进行元分析，揭示其根本原因（如共享资源竞争、推测执行泄露）；（3）指出现有防御（如安全区页面缓存锁定、加密内存）无法完全阻止侧信道攻击；（4）提出未来SGX安全研究的方向，包括硬件定制化安全指令和运行时完整性监控。论文适合系统安全研究人员、SGX应用开发者以及可信执行环境（TEE）设计者阅读。

本文是一篇关于软件隔离（compartmentalization）的系统化知识梳理（SoK）论文。软件隔离通过将大型系统分解为具有有限权限的小型组件来最小化漏洞利用的影响，这一理念历史悠久且经过广泛研究，但在实际主流软件开发中仍未得到广泛应用。论文首先指出当前术语和分析方法的不一致性，提出一个统一模型，用于系统分析、比较和指导隔离方法的设计。基于该模型，作者回顾了211项研究工作和61个主流隔离开系统（如Chrome沙箱、AppContainer等），对比分析发现：主流系统高度依赖人工方法、自定义抽象和传统机制，而研究领域中则涌现出大量自动化、细粒度的方案，两者之间存在显著差异。论文揭示了研究与实践之间的割裂，并给出建议：隔离问题应整体解决；需要简化隔离策略的定义；在面临混淆委派和硬件限制时，应更好地反思威胁模型；以及弥合研究与主流需求之间的鸿沟。本文不仅梳理了隔离领域的历史与现状，还为该领域的未来发展方向提供了框架，适合安全系统研究人员、操作系统开发者及对权限分离感兴趣的工程师阅读。

现代车载网络面临内部电子控制单元（ECU）和外部车联网（V2X）通信不断扩大的攻击面。联邦学习（FL）作为一种去中心化范式，被用于在不牺牲数据隐私的前提下部署入侵检测系统（IDS）。然而，车载FL-IDS文献存在方法论碎片化和实验设置不切实际的问题。本文呈现了一篇系统化知识（SoK）论文，统一了车载攻击面的分类学，评估了FL拓扑结构，并映射了投毒攻击和推理攻击等对抗性威胁。通过审计60多篇出版物，识别出反复出现的陷阱：人为的独立同分布（IID）数据划分、依赖琐碎的基准测试、对抗性评估薄弱、以及忽略实时CAN总线约束。最后，定义了一个前瞻性研究议程，并概述了将车载FL-IDS从乐观仿真过渡到安全现实部署所需的最低基准测试要求。

本文是一篇系统化知识总结（SoK）论文，专注于自动化内核漏洞发现与利用生成领域。研究背景在于内核漏洞对系统安全构成严重威胁，而传统手动发现和利用生成效率低下。该论文系统梳理了现有自动化方法，包括模糊测试、符号执行、静态分析等技术在内核漏洞发现中的应用，以及如何自动生成可利用的漏洞验证程序或利用代码。核心贡献在于提出了一种分类法，将现有工作按技术类型、适用阶段、自动化程度等维度进行归类，并比较了不同方法的优缺点。实验部分基于对大量已发表论文的元分析，评估了各方法在发现真实漏洞和生成可靠利用方面的有效性。主要发现是当前方法在覆盖率、效率和可扩展性上仍有局限，尤其缺乏针对复杂内核机制的通用解决方案。论文还指出了未来研究方向，如结合机器学习与符号推理、提升对硬件漏洞的自动化能力等。适合内核安全研究人员和系统安全工程师阅读，以了解该领域现状与挑战。

本文是一篇关于全同态加密（FHE）编译器的系统化知识综述（SoK）。全同态加密允许第三方在加密数据上执行任意计算，同时既不知道输入也不知道计算结果，从而在不信任或可能被攻陷的计算环境中提供弹性。该概念自1970年代提出，但直到2009年Craig Gentry提出首个可行方案后才得以实现。随着云服务中敏感数据的大规模收集以及数据泄露事件的频发，高度监管的业务日益需求机密和安全的计算解决方案，这推动了FHE工具的快速发展。为了理解近期FHE工具的发展态势，本文进行了广泛的调研和实验评估，探索当前技术现状并识别未来发展方向。作者对现有的FHE工具和编译器进行了系统化分类、评估和对比，通过实验测量了它们在多种应用上的性能和可用性。最后，本文为希望开发基于FHE应用的开发者提供了建议，并讨论了FHE工具开发的未来方向。该综述覆盖了主流FHE编译器（如HElib、SEAL、TFHE等），评估了它们的编程模型、优化策略和实际性能，并指出了当前面临的挑战，如性能瓶颈、易用性不足以及缺乏标准化。本文适合对同态加密技术感兴趣的安全研究人员、密码学工程师以及隐私计算开发者阅读。

本文是一篇系统化知识综述（SoK），针对钓鱼攻击中面向用户的干预措施进行了全面的分类学研究。钓鱼攻击作为普遍的网络安全威胁，不仅针对个人也针对组织。以往的反钓鱼措施开始认识到用户的核心作用：用户作为攻击目标的最前沿，同时也是最后一道防线。然而，现有面向用户的钓鱼干预措施分散于不同的研究领域，缺乏系统化的整理，导致难以全面把握已有工作的各种方法。本研究通过系统性文献分析，构建了一个钓鱼干预措施的分类法。该分类法从四个维度对现有干预措施进行归类：干预类型（如警告、培训、检测辅助）、应对的钓鱼攻击向量（如电子邮件、短信、语音钓鱼）、干预发生的时间（实时或事后）以及所需的用户交互水平（主动、被动或无交互）。此外，论文还揭示了文献样本及先前元分析中暴露的不足与挑战，并结合可用安全领域的最新动向进行讨论。本文旨在为未来钓鱼干预措施的研究提供有益的方向指引，适合安全研究员、可用性工程师及反钓鱼产品设计者阅读。

本文是一篇关于人工智能安全代码生成（AI Secure Code Generation）的系统化知识综述（SoK）。随着AI系统越来越多地用于代码生成，如何确保其生成代码的安全性成为核心问题。现有研究尝试了提示工程、微调、强化学习以及基于agent的工作流等方法来提升安全性，但缺乏对这些技术系统性的理解。作者提出了一个三级评估框架：第一级衡量模型对安全编码原则的自然语言理解能力；第二级评估模型在代码生成时实际应用这些原则的能力；第三级分析知识-执行之间的差距。该框架被实例化于多种模型和编码agent上，评测基准涵盖孤立的功能级安全（如函数漏洞）和完整的Web应用安全场景。实验结果表明，对安全编码原则的理解是代码级安全结果的显著预测因素，包括功能性正确性、安全性以及两者的联合正确性。然而，模型仍然存在严重的知识-执行差距：它们能够识别相关的安全原则，但未能成功转化为安全且功能正确的代码。这些发现以原则为中心的视角揭示了AI安全代码生成的当前进展、主要陷阱，并指出了未来方向，包括原则引导生成、针对性评估、基准设计以及agent工作流的改进。本文适合安全研究人员、AI开发者以及关注代码安全的从业者阅读。

二进制逆向工程是软件理解、漏洞发现、恶意软件分析和固件审计的基础，但由于编译过程中语义信息的不可逆丢失，该任务具有本质上的挑战性。近年来，机器学习、大型语言模型（LLM）和智能体AI系统的进展加速了AI增强二进制逆向的采用，但相关研究工作在不同逆向领域、工件表示、学习方法和评估实践上日益碎片化。本文首次对AI增强二进制逆向进行了系统化的知识梳理（SoK）。作者分析了2015年以来发表的144篇研究论文，根据推理任务将其划分为22个二进制逆向领域（如函数识别、类型恢复、控制流重构等）。进一步地，他们提出了一个统一的分类法，涵盖传统逆向流水线和AI增强逆向流水线，将传统分析技术、二进制派生工件、表示策略、学习范式和下游推理任务联系起来，并明确了LLM和智能体AI系统的新兴角色。通过建立通用词汇和结构化框架，该工作提供了过去十年该领域演变的整体视图。研究揭示了看似不同方法背后的共同结构，指出了持续存在的技术挑战和评估缺口，并识别了未来研究的有希望方向。这些见解有助于厘清当前领域状态，为下一代可靠且可扩展的AI增强二进制逆向系统奠定基础。适合安全逆向工程师、AI4Security研究人员以及二进制分析工具开发者阅读。

该论文是系统化知识（SoK）研究，旨在对现代Web浏览器的低层攻击面进行系统化分类和分析。背景是：浏览器作为远程攻击面，内存破坏漏洞在真实世界利用中仍占核心地位。尽管过去十年已有大量浏览器测试和漏洞披露工作，但社区仍缺乏一个明确的、防御导向的低层攻击面系统化框架。先前SoK论文调查了浏览器漏洞和缓解技术，但视角碎片化，未回答一个核心问题：现代Web浏览器的低层攻击面如何结构化？哪些部分在现有安全测试中尚待探索？为回答该问题，作者提出三个子问题：（RQ1）浏览器的攻击面如何沿输入类和组件结构化？（RQ2）内存破坏漏洞在该分类中出现在何处？（RQ3）这些攻击面模式对现有浏览器安全测试有何启示？针对RQ1，作者推导出一个架构驱动的“输入×组件×权限”分类法，将浏览器架构抽象为统一视图。针对RQ2，他们将2016年至2025年间公开的2233个内存破坏报告映射到该分类法上。针对RQ3，他们将过去十年的学术浏览器模糊测试器（按目标输入类分类）叠加到bug密度图上。系统化工作揭示：当前测试集中在已充分探索的组件，而bug密集、高影响的攻击面测试不足。此外，他们识别出三个与学术工作正交的模糊测试部署缺口。该工作为未来的浏览器安全研究提供了结构化基础。

该论文是一篇系统化知识（SoK）综述，聚焦于涉及高风险用户的数字安全研究。高风险用户指更容易遭受数字攻击或受到不成比例伤害的群体。这类研究对保护用户数字安全至关重要，但也给研究人员和用户带来显著安全挑战。论文分析了196篇学术文献，提取出14项研究风险和36项安全实践，这些实践来自一个不断壮大的研究人员社群。同时，结合12位领域专家的口述历史，论文提供了分阶段、整合的实用指南，帮助研究人员规划、执行和分享更安全的涉及高风险用户的数字安全研究。最终提出了未来研究方向，包括报告、研究和资助高风险用户相关研究。该工作旨在标准化并加强这类研究的安全性，适合计算机安全与隐私领域的研究人员、伦理委员会以及关注用户安全的从业者阅读。

该论文是一篇关于后量子密码学（PQC）在软件系统中实现的系统化知识（SoK）研究。随着量子计算威胁的临近，将现有密码学算法迁移至抗量子算法已成为保护软件系统的关键任务。尽管标准化算法（如CRYSTALS-Kyber、Dilithium等）已发布，但开发者和组织在将其集成到实际软件系统中仍面临重大挑战。现有研究多聚焦于密码学性能和算法安全性，缺乏对影响PQC成功实现的更广泛社会-技术因素的理解。本文从人（Human）、组织（Organisation）、技术（Technology）三个维度系统梳理了PQC实现的方法与挑战。通过综合现有文献，研究发现当前知识体系存在显著不平衡：技术解决方案占据主导地位，而人力和组织层面的考虑（如开发者培训、组织流程调整、成本效益分析等）被严重忽视。进一步分析表明，这些挑战并非孤立存在于单一维度，而是跨HOT维度的相互关联的社会-技术约束，共同影响实现效果。为此，作者提出了PQC-HOT模型，这是一个概念框架，用于解释HOT维度之间的交互如何共同影响PQC实现。该模型将SoK中识别的实现干预措施和挑战整合为一个结构化的框架，支持系统化的决策、规划和组织转型策略。基于这些洞察，论文还指出了未来研究方向，包括如何设计可扩展、可持续的PQC实现方案。本文适合安全架构师、开发团队、风险管理者和政策制定者阅读，帮助他们从全局视角理解PQC迁移的复杂性。

本论文是第一篇系统化整合机器学习模型去记忆化（dememorization）两种主要方法——不可学习性（unlearnability）和机器遗忘（machine unlearning）——的研究综述。不可学习性通过在训练前向数据注入难以感知的扰动，从而降低模型对特定数据的学习能力；机器遗忘则是在训练后移除模型已获取的敏感信息，防止未经授权的披露或使用。论文指出，这两种防御手段虽旨在保护知识不被滥用，但都存在“浅层去记忆化”（shallow dememorization）的问题，即在权重扰动下会错误声称数据已不可学或已遗忘。此外，输入扰动可能影响后续机器遗忘的效果，而机器遗忘可能意外恢复被不可学习性隐藏的领域知识。研究贡献包括：(i) 提出统一的不可学习性和可扩展机器遗忘方法分类法；(ii) 通过实验评估主流方法的鲁棒性、相互作用及浅层去记忆化问题；(iii) 首次给出经过认证遗忘（certified unlearning）处理的模型去记忆化深度的理论保证。该工作为在整个机器学习生命周期中统一去记忆化机制、实现敏感知识的深度遗忘奠定了基础。

本论文是一篇关于加速器可信执行环境（TEE）设计的系统化知识（SoK）综述。随着人工智能、大数据等计算密集型应用的普及，GPU、TPU、FPGA 等加速器被广泛部署，但其安全性面临严峻挑战，尤其是来自云环境中的恶意管理员或特权软件的攻击。可信执行环境（TEE）是一种有前景的防御技术，通过硬件隔离为敏感计算提供机密性和完整性保护。然而，将 TEE 扩展到加速器领域面临诸多独特挑战，如内存一致性、DMA 攻击面、侧信道泄漏等。本文对现有加速器 TEE 设计进行了全面调查和分类，提出了一个统一的分类框架，涵盖架构设计、安全模型、信任根、内存保护、数据流隔离等关键维度。作者分析了超过 20 种代表性方案（如 Graviton、HIX、ReDACT、TPM-based 方案等），并对比了它们在安全属性、性能开销、硬件修改需求等方面的权衡。此外，论文还讨论了加速器 TEE 的威胁模型、认证机制以及针对侧信道的防御措施。最后，论文总结了当前研究的空白和未来方向，包括异构内存管理、可编程硬件支持、多租户隔离等。本文旨在为硬件安全研究人员、系统设计者和云服务提供商提供系统化的知识参考，帮助理解加速器 TEE 的设计空间和挑战。

本论文是一篇系统化知识（SoK）研究，旨在从攻防双视角深入评估Linux内核加固机制的有效性。研究首先系统梳理了现有Linux内核安全加固技术，包括内核地址空间布局随机化（KASLR）、堆栈防护、控制流完整性（CFI）、内核控制流完整性（kCFI）、指针认证（PAC）、内存标记扩展（MTE）以及各种内存安全缓解措施。接着，论文从攻击者角度出发，分析了这些加固机制在实际漏洞利用中被绕过的可能性，总结了常见绕过技术及其适用条件。从防御者角度，作者评估了不同加固方案在阻止漏洞利用链各阶段（如信息泄露、控制流劫持、权限提升）的实际效果，并指出当前加固方案的覆盖盲区和性能开销权衡。论文还探讨了近年来提出的新型防御思路，如基于机器学习的异常检测和形式化验证的内核模块。通过对比实验和案例研究，作者揭示了以下关键发现：1）虽然现代内核集成了多层加固，但攻击者仍可通过组合特定绕过技术（如利用侧信道泄露KASLR基址）实现成功利用；2）不同加固方案之间存在依赖关系，单一机制的失效可能导致整个防御链崩溃；3）当前加固方案在兼容性与安全性之间尚未达到理想平衡。最后，论文提出了未来研究方向，包括开发自适应防护策略和硬件辅助安全机制。该研究成果对系统安全研究人员、内核开发者和安全运维人员理解内核防御现状与提升加固有效性具有重要参考价值。

该论文是一篇系统化知识（SoK）研究，系统梳理了传感器带外（out-of-band）漏洞的基本原理、分类及安全影响。传感器带外漏洞是指攻击者利用传感器物理特性（如声、光、电磁）绕过软件安全机制，导致信息泄露或控制流劫持。论文首先定义了带外攻击的威胁模型，区分了主动注入与被动窃听两类攻击模式；随后基于传感器类型（麦克风、摄像头、陀螺仪等）和攻击媒介（声学、光学、电磁）构建了分类法，覆盖了数十个已知漏洞（如激光攻击麦克风、电磁干扰陀螺仪）。进一步，论文分析了现有防御策略（物理屏蔽、信号随机化、多传感器融合）的局限性，并提出了统一的安全评估框架。实验部分通过复现典型攻击案例验证了分类法的完整性，并量化了不同传感器的攻击成功率与防御开销。该研究为嵌入式系统、物联网设备及移动终端的安全设计提供了系统化参考，适合安全研究员、硬件工程师及系统架构师阅读。