Backdoor Decontamination Dynamics in LLM Agents

本文研究开放权重 LLM 智能体在微调阶段可能被植入后门的安全问题。此类后门在测试阶段若触发条件未满足，可能无法被检测到。由于防御者不知道原始触发条件，无法直接“忘记”该后门。一种去污（decontamination）策略是安装一个已知后门

历史摘要 · 未重新核验 · arXiv cs.CR

Agent Safety Should Be a Runtime Contract

该论文对当前人工智能安全的主流范式提出结构性批评，认为仅靠训练阶段的对齐方法（如RLHF、DPO、Constitutional AI）无法充分保障自主智能体的安全。作者主张，智能体安全应被设计为一种由执行环境（harness）强制实施的“运

历史摘要 · 未重新核验 · arXiv cs.CR

On Understanding, Identifying, and Mitigating Vulnerabilities in Agentic Large Language Models

该论文对智能体大语言模型（Agentic LLM）的安全脆弱性进行了系统性综述研究。随着大语言模型从无状态对话接口演变为具备多步规划、工具调用、代码执行和持久记忆的自主智能体，其在实际系统中获得API调用、文件修改和数据库查询等真实权限时，

历史摘要 · 未重新核验 · arXiv cs.CR

SurrealDB: Array element-level (field.*) SELECT permissions leak denied elements to record users

A `SELECT` permission defined on an array element (`DEFINE FIELD field.* … PERMISSIONS FOR select …`) is not enforced co

历史摘要 · 未重新核验 · GitHub Advisory

[下载]IDAPro v9.4.260714(hotfix)+汉化补丁+新版py注册机

[下载]IDAPro v9.4.260714(hotfix)+汉化补丁+新版py注册机

历史摘要 · 未重新核验 · 看雪

[原创]IDAPro v9.4.260714 汉化补丁修正错误

[原创]IDAPro v9.4.260714 汉化补丁修正错误

历史摘要 · 未重新核验 · 看雪

Windows11 0day内核提权漏洞分析与利用（CVE-2026-62737）

CVE-2026-62737

Windows11 0day内核提权漏洞分析与利用（CVE-2026-62737）

历史摘要 · 未重新核验 · 先知社区

Smart Contract Invariants Protect Against Cybercriminals

本文针对区块链智能合约安全这一极具挑战性的问题展开研究。智能合约运行在对抗性极强的环境中，攻击者利用合约漏洞已窃取数十亿美元，但目前尚无概念或技术能真正有效解决该问题。作者提出经典的程序不变量（program invariant）概念可能是

历史摘要 · 未重新核验 · arXiv cs.CR

Towards Scalable Fuzzy PSI via Efficient Fuzzy Matching

本文提出面向可扩展模糊隐私集合求交（Fuzzy PSI）的高效协议，支持一般 L_p (p∈[1,∞]) 距离度量，并适用于低维和高维数据集。核心贡献是设计了两种高效的模糊匹配协议：第一种基于角色反转的不经意伪随机函数（OPRF），将计算开

历史摘要 · 未重新核验 · arXiv cs.CR

Concept Drift Detection and Adaptive Retraining of Malware Classification Models

本文研究了恶意软件分类模型中的概念漂移检测与自适应重训练问题。概念漂移指数据统计属性随时间发生变化，与训练数据分布不一致，导致机器学习模型性能下降。恶意软件检测模型尤其容易受到影响，因为攻击者会不断修改恶意代码以规避检测。针对这一挑战，作者

历史摘要 · 未重新核验 · arXiv cs.CR

TeleGapper: On the (un)reliability of Privacy Policies in Telegram Mini apps

Telegram Mini Apps 是嵌入在 Telegram 客户端中的 Web 应用，构成了一个第三方服务生态系统。尽管其用户规模庞大且能访问 Telegram 提供的上下文信息，但其隐私特性却鲜有研究。与微信等采用严格受控专有框架的

历史摘要 · 未重新核验 · arXiv cs.CR

TopoIntent: Compiling Security Intent into Executable, Compliance-Checked Network Topologies

本文提出 TopoIntent，一个将安全意图编译为可执行且通过合规检查的网络拓扑的系统。在企业安全架构设计中，将业务需求、监管要求和风险假设转化为安全域、边界设备、域间路径以及访问控制策略是一个关键且复杂的步骤。现有网络自动化工具通常在拓

历史摘要 · 未重新核验 · arXiv cs.CR

VR-Themis: A Scalable Framework for Virtual Reality Application Clone Detection

该论文提出了一种面向虚拟现实（VR）应用克隆检测的可扩展框架 VR-Themis。移动应用重打包（即应用克隆）不仅威胁用户安全与隐私，还侵犯原始开发者的版权。然而，现有检测方法主要针对 Android 等传统移动平台，无法捕捉 VR 应用的

历史摘要 · 未重新核验 · arXiv cs.CR

Homomorphic Aggregation of Continuous-Variable GKP States

本文提出一种基于测量的主动框架，用于实现连续变量GKP（Gottesman-Kitaev-Preskill）量子态的‘同态聚合’。分布式量子计算需要在不同节点间整合编码在连续变量相空间中的逻辑量子信息，但无源线性光学器件对非高斯GKP码无效

历史摘要 · 未重新核验 · arXiv cs.CR

A Commitment-Based Hybrid Post-Quantum Cryptographic Model for Multi-File Cloud Storage

本文针对云存储场景中多文件批量上传时的认证性能瓶颈，提出了一种基于承诺（commitment）的混合后量子密码模型。研究背景是：随着量子计算的发展，传统公钥密码面临威胁，云存储客户端需要抗量子安全的认证机制，通常采用经典密码与后量子密码混合

历史摘要 · 未重新核验 · arXiv cs.CR

InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy

该论文关注处理器规范（processor specifications）的正确性问题。处理器规范是反汇编器、反编译器、模拟器等关键安全与程序分析工具的基础，但其正确性很少被验证。规范中的错误会扭曲程序行为、掩盖漏洞，甚至为攻击者提供规避分析

历史摘要 · 未重新核验 · arXiv cs.CR

OmniSphinx: Active Mix Networks (Extended Version)

混合网络是实现匿名通信的重要工具，不仅保护消息内容，还保护消息的元数据。然而，长期以来研究者提出了多种混合网络数据包格式，每种格式往往针对单一特定目标设计，导致格式之间互不兼容，需要部署各自的软件和基础设施，阻碍了混合网络的互操作性和规模化

历史摘要 · 未重新核验 · arXiv cs.CR

ATOBench: Tracing How Autonomous Penetration-Testing Agents Verify Vulnerabilities When Target Evidence Lies

本论文提出 ATOBench，一个用于评估自主渗透测试智能体在面对欺骗性目标响应时如何验证漏洞的评测框架。现有自主渗透测试智能体依赖目标系统的响应来决定后续动作并生成最终报告；如果目标响应是欺骗性的，则可能同时误导攻击路径和验证过程。然而，

历史摘要 · 未重新核验 · arXiv cs.CR

Technical Report on Resilient and Secure Large-Scale Energy Internet Systems

本技术报告由IEEE PES工作组撰写，聚焦大规模能源互联网（Energy Internet, EI）系统的安全性与韧性。能源互联网通过广泛数字化将电力层、信息层和市场层紧密耦合，形成一个复杂的网络物理系统（CPS）。报告首先系统刻画了EI

历史摘要 · 未重新核验 · arXiv cs.CR

Adversarial Robustness in Smishing Detection: A Comparative Analysis of Adversarial Fragility in Classical vs. Transformer-Based Detection Systems

该论文针对短信钓鱼（smishing）检测系统的对抗鲁棒性进行了系统性比较研究。研究背景是：现有检测系统通常在干净的单语文本上训练和评估，但在低资源环境下，攻击者常通过字符混淆、跨语言代码切换和结构扰动等方式规避检测。作者选取了五种模型架构

历史摘要 · 未重新核验 · arXiv cs.CR