ex_aws_sns: Trusted-attacker `SigningCertURL` permits complete SNS signature bypass

### Summary `ExAws.SNS.verify_message/1` fetches the signing certificate from the `SigningCertURL` field of the incomin

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

Blnk has an API key authorization bypass in owner and scope enforcement

Blnk API key endpoints had an authorization issue that allowed non-master API keys to perform key-management actions out

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

SolidInvoice: IDOR in LiveComponent allows same-company cross-user access to API tokens and notification transport settings

## Summary Four authorization bypass vulnerabilities in Symfony LiveComponent actions allow any authenticated user with

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

[分享]全平台IDAPro 9.4 beta1+汉化补丁+新版注册机

[分享]全平台IDAPro 9.4 beta1+汉化补丁+新版注册机

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

[原创]CVE-2022-0847 Dirty Pipe 漏洞原理深度分析 近年来最"干净"的内核提权漏洞之一

CVE-2022-0847

[原创]CVE-2022-0847 Dirty Pipe 漏洞原理深度分析 近年来最"干净"的内核提权漏洞之一

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

Leaking Circuit Secrets: Gradient Leakage Attacks on Graph Neural Networks

随着图神经网络（GNN）在电路设计与分析等关键任务中成为标准工具，其安全与隐私风险亟需关注。本文首次系统评估了梯度泄露攻击（GLA）对电路设计与硬件安全任务中GNN的威胁——这一实际风险此前被严重忽视。作者在标准网表基准（ISCAS'85、

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

The Web4 Agent Economy: A Large-Scale Empirical Study of the Landscape, Challenges, and Opportunities

本文是首个针对Web4代理经济的大规模实证研究。Web4被视为从Web3演进的下一个阶段，其核心特征是自主代理作为独立经济实体，能够持有加密钱包、执行链上交易并支付外部API调用费用。研究背景指出，这类代理的兴起需要新的基础设施栈，例如Mo

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

Shoot the Honey, Cloak the Player: Towards Zero-Runtime-Overhead Proactive Defense and Detection for Visual Game Cheating

该论文针对第一人称射击（FPS）游戏中的视觉自瞄作弊（visual aimbots）提出了一种端到端防御方案AimTrap。视觉自瞄作弊通过仅分析渲染帧而非游戏内存来规避现有反作弊系统，已成为严重威胁。现有防御策略存在不足：事后行为检测器无

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

PRISM: PE Relational Inter-Section Matrix. A 2D Section-Aware Dataset for Static PE Malware Detection

本文提出PRISM（PE Relational Inter-Section Matrix），一个用于静态Windows PE恶意软件检测的开源数据集和特征表示方法。现有基准（如EMBER、BODMAS、SOREL-20M）将每个PE文件表示

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

Type-based information flow analysis for $π$-calculus with a dynamically extensible security lattice

该论文提出了一种面向π-演算的基于类型的安全信息流分析方法，其关键创新在于支持安全格在系统执行期间的动态扩展——即允许在运行时创建新的安全级别并将其插入到安全格中。作者通过扩展Kobayashi先前基于类型的安全信息流分析框架来实现这一目标

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

Chai: Agentic Discovery of Cryptographic Misuse Vulnerabilities

本文提出Chai，一个基于AI的自动化系统，用于发现和验证密码学误用漏洞。传统的漏洞发现方法如内存安全检测依赖插桩技术来过滤误报，但密码学误用缺乏类似的工具。Chai创新性地重新构思了差异测试（differential testing）技术

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

Fortress and Gatekeeper: Theorizing Transitive Trust in Third-Party Cybersecurity Risk Governance

该论文探讨了第三方供应商（如分析平台、云服务、身份提供商和软件供应商）在数字服务交付中日益嵌入所带来的网络安全治理问题。以2025年11月发生的OpenAI-Mixpanel安全事件为案例，通过文档分析展示了供应商环境中的安全事件如何演变为

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

MIRROR: Novelty-Constrained Memory-Guided MCTS Red-Teaming for Agentic RAG

本文提出了一种名为 MIRROR 的新型红队测试框架，专门针对多模态智能体检索增强生成（RAG）系统。该类系统由于整合了文本、图像、工具调用等多种模态，攻击面远超传统提示注入，包括文本投毒、图像注入、直接查询攻击以及编排器层的工具操纵。现有

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

MergeLLL: A Hierarchical Divide-and-Conquer Framework for LLL-Based Lattice Reduction

格基约简算法在计算数论和基于格的密码学中有着广泛的应用，但随着维度的增加，其计算复杂度迅速上升。受归并排序分治策略的启发，并融合了PotLLL风格的深度插入操作，本文提出了一种名为MergeLLL的分层分治框架。在该框架中，首先将格基拆分为

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

DroidBreaker: Practical and Functional Problem-Space Attacks on Machine-Learning Android Malware Detectors

该论文聚焦于安卓恶意软件检测器面临的对抗性攻击问题。现有问题空间攻击（修改APK文件以逃避机器学习检测器）大多不实用：要么通过注入整个良性模块引入大量副作用特征且容易构建失败，要么细粒度注入但效果有限，要么依赖脆弱的字节码重写，导致APK语

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

The Fungible Reserve Standard: A Deterministic Framework for Encoding Carrying Costs in Asset-Backed Tokens

该论文提出了一种名为 'Fungible Reserve Standard (FRS)' 的代币设计框架，旨在解决现实世界资产（RWA）代币化中的核心经济问题：物理资产（如贵金属、大宗商品）在存储过程中会产生结构性的负持有成本（包括保管、保

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

TESLA-for-5G: Broadcast Authentication for 5G Networks Using TESLA

5G网络中的基站广播未经认证的系统信息（SI），所有用户设备（UE）在小区选择时都会读取这些信息。这使攻击者能够通过虚假基站（FBS）广播伪造的SI，诱骗UE驻留其小区。现有方法要求UE使用数字签名来认证系统信息块1（SIB1），但每次接收

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

DKVE: Decentralized Key Validation for End-to-End Encrypted Messaging

端到端加密消息系统依赖于真实的公钥分发来防止中间人（MitM）攻击。当前解决方案存在明显权衡：带外（OOB）验证提供强安全性但缺乏大规模联系人列表的可扩展性，而密钥透明度（KT）系统虽能实现自动验证，但存储成本和操作复杂性高。本文提出 DK

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

ProvenAI: Provenance-Native Traces of Evidence in Generated Answers

随着检索增强生成系统在问答任务中广泛应用，其提供的引用往往无法反映真实的信息来源影响。本文提出ProvenAI框架，将多跳问答中的透明度分解为三个独立可测量的层次：答案正确性（answer correctness）、引用保真度（citati

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

What Browsers Do in the Shaders: A Measurement Study of WebGPU Privacy

本文提出了WGPULens，一个系统化测量WebGPU隐私泄露风险的框架。WebGPU作为新的Web图形API，允许网页通过验证的编程模型运行GPU工作负载，虽然验证机制保证了内存安全，但共享的浏览器、驱动程序、操作系统和GPU状态仍可能暴

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