RMCW: A Deletion-Robust Watermark Based on Reed--Muller Codes for Language Models

该论文针对大语言模型（LLM）文本水印在后处理攻击下鲁棒性不足的问题，提出了一种基于 Reed--Muller 码的删除鲁棒水印方案 RMCW。背景上，LLM 水印通过在生成阶段注入统计或代数信号，为识别某一特定模型产出的文本提供轻量级溯源

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

Evaluating and Improving the Robustness of Large Language Models to Input Sequence Variations

该学位论文系统研究如何评估并提升大语言模型（LLM）对输入序列变异的鲁棒性，直面生产系统中三类现实威胁：提示注入、木马/后门植入，以及对自动质量评测指标（LLM-as-a-Judge）的操纵。作者首先提出生成式鲁棒性度量 R_stab(f)

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

Device-Independent Conference Keys from Parity-Extended Games

本文研究的是设备无关会议密钥协商（Device-Independent Conference Key Agreement, DI-CKA）：一组（N 方）参与者在完全不信任其量子设备的前提下，仍需协商出一把共享密钥，其安全性由量子非局域性（

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

Query-Limited RAM Programs and their Applications

本文研究量子密码学中一次性程序（one-time program, OTP）范式的推广问题。量子一次性程序（QOTP，由 Broadbent、Gutoski 与 Stebila 在 CRYPTO 2013 提出）能把某一功能编码进一个量子令

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

Path-Finding, Orbit State Preparation, and the Security of Invariant Quantum Money

本文研究基于纽结（knot）的量子货币及其推广形式——不变量货币（invariant money）的安全性基础。这类方案的核心假设是「路径搜索困难」：给定两个具有相同不变量的等价对象（例如两个纽结），找到它们之间的一串等价变换（move）是

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

Succinct Arguments for QMA from Collapsing Hash Functions

该论文研究量子计算时代可验证计算的理论基础问题：能否在尽可能弱的密码学假设下，为 QMA（量子 Merlin-Arthur，即量子版 NP 的验证类）构造简洁论证（succinct arguments）。作者证明：只要存在 collapsi

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

The Compiler May Read It, the Agent May Not: Keeping Part of a Research Code Away from a Coding Agent

这篇论文（cs.AI / cs.SE）聚焦一个在「AI 编码智能体辅助科研开发」场景中日益尖锐但缺乏系统分析的矛盾：同一份代码仓库里，某些模块是构建物理求解器所必需的（编译器必须读取），但同时又属于不宜暴露给外部编码智能体的知识产权（age

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

LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?

本文针对一个此前缺乏系统认识的问题展开研究：大语言模型（LLM）在密码协议的符号化验证（symbolic protocol verification）中究竟能起到多大作用。作者指出，LLM 已在软件工程与安全分析任务中表现出较强潜力，但其在

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

28th September – Threat Intelligence Report

For the latest discoveries in cyber research for the week of 28th September, please download our Threat Intelligence Bul

历史摘要 · 未重新核验 · Check Point Research

Cyclotomic Cosets: Hidden Subgroup and Quantum Sieving Algorithm for Prime-Power Moduli

本文研究后量子密码核心困难假设 LWE 的量子归约链条。背景上，Regev 曾建立从 LWE 到二面体陪集问题 (DCP) 的量子归约，其后 Brakerski 等人提出外推二面体陪集问题 (EDCP) 并证明其与 LWE 等价。但与 DC

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

The Price of Peeking: Anytime-Valid Leakage Detection on ML-KEM EM Traces

该论文研究的是侧信道评估中一个长期被忽视的统计方法论问题：评估人员通常在数据采集仍在进行时就反复查看泄漏检测结果（peeking），并据此决定延长或提前终止采集。这类“边采边看”的监控式决策规则，使经典的固定样本量检验（如阈值 |t|>4.

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

BenX: Resource-Sharing Permutations for Computational Integrity

本文针对计算完整性（computational integrity）证明系统中所使用的、定义在素域 F_p 上的密码学哈希函数，提出了一种名为 BenX 的新型置换（permutation）设计与哈希构造。研究背景是：在以零知识证明为代表的

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

IFUNC 重定向:内核还没交权,resolver 已经在跑

IFUNC 重定向:内核还没交权,resolver 已经在跑

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

ODPure: Backdoor Purification for Object Detection via Ensemble Corruption Consensus

随着自动驾驶等应用的发展，目标检测模型的安全问题日益凸显，其中后门攻击可严重破坏模型完整性。攻击者通过在输入中植入预定义触发器，可导致目标类别被篡改（对象误分类）、边界框被移除（对象消失）或为非存在对象生成边界框（对象生成）。尽管图像分类领

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

21st September – Threat Intelligence Report

For the latest discoveries in cyber research for the week of 21st Setpember, please download our Threat Intelligence Bul

历史摘要 · 未重新核验 · Check Point Research

Quantum ROP: Using Quantum Algorithms for ROP Chain Selection in Exploit Construction

本文关注量子计算在网络攻防中的非密码学应用方向。目前业界对量子安全威胁的讨论几乎都集中在 Shor 算法最终能够破解 RSA/ECC 等非对称密码，而作者认为量子计算同样可能为攻击性安全带来新的能力。论文选择的切入点是 Return-Ori

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

CVE-2026-9762：IBM JCC getConnection 触发反序列化链分析

CVE-2026-9762

CVE-2026-9762：IBM JCC getConnection 触发反序列化链分析

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

一个 `/` 引发的沙箱失守：CVE-2026-55830 RestrictedPython 策略绕过——从复现到字节码的完整剖析

CVE-2026-55830

一个 `/` 引发的沙箱失守：CVE-2026-55830 RestrictedPython 策略绕过——从复现到字节码的完整剖析

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

Empirical Analysis of Randomness Quality in Differential Privacy Mechanisms

该论文针对差分隐私（Differential Privacy, DP）实现中一个长期被理论讨论但缺乏实证的问题展开研究：DP 的隐私保证建立在「噪声源足够随机」这一前提之上，但现实中随机数发生器（RNG）的熵退化究竟会对 DP 机制产生多大

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

AI Threat Landscape Digest: July–August 2026

The defining development of the period came not from attackers but from the AI labs themselves, whose models broke out o

历史摘要 · 未重新核验 · Check Point Research