2026-08-10 归档

今日共收录 768 条安全情报，包含 81 个 CVE，374 篇安全通告，以及 66 篇研究论文。

学术论文2026-08-07 发布INFO

Soft Redaction of Image Provenance via Zero-Knowledge Proofs

本文针对数字图像内容来源（provenance）标准（如C2PA）在保障可信度的同时可能泄露创作者隐私的问题，提出了一种基于零知识证明（ZKP）的“软编辑”（soft redaction）机制。C2PA等标准通常对图像的来源、编辑历史、权利

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

#cs.AI #image-provenance #zero-knowledge-proofs #privacy #C2PA #biometric-embedding

学术论文2026-08-07 发布INFO

Casting the Net! Revisiting MasterFace Impersonation Attacks

本文重新审视了面部识别系统（FRS）中的 MasterFace 冒充攻击。在现实对抗能力约束下（如有限的认证尝试次数、无内部系统知识），大多数攻击技术不可行，因此零努力冒充者（由错误匹配率 FMR 表征）通常被视为独立基线。此前研究认为 M

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

#cs.CV #biometric-security #face-recognition #masterface #api-security

学术论文2026-08-07 发布INFO

POKEx: Performance analysis of POKE-key exchange and SIDH-variants

本文对基于同源（isogeny）的密钥交换协议 POKE 与 SIDH 变体进行了系统的性能对比分析。SIDH 曾因密钥尺寸小、性能高效而受到关注，并被选为 NIST 后量子密码标准第 4 轮的备选方案。然而，2022 年 Castryck

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

#isogeny #key-exchange #post-quantum #performance-analysis #sidh #poke

学术论文2026-08-07 发布INFO

Resource-Aware Intrusion Detection in Infrastructure Networks: A Game-Theoretic Approach

该论文针对基础设施网络中的入侵检测问题，提出了一种基于博弈论的资源分配方法。研究背景是：基础设施网络（如集成传感与通信ISAC系统）依赖分布式传感设备在网络边缘检测入侵，以在攻击者到达关键资产前进行拦截。然而，传感设备、通信带宽和边缘服务器

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

#cs.GT #game-theory #intrusion-detection #resource-allocation #isac #infrastructure-security

学术论文2026-08-06 发布INFO

A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis

这篇论文针对两个主流的协议形式化验证工具 Tamarin 和 ProVerif 提出了首个从 Tamarin 到 ProVerif 的忠实的（sound）翻译方法，以支持系统性的对比分析。Tamarin 基于多集重写规则，验证是可靠且完备的

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

#formal-verification #security-protocols #tamarin #proverif #sound-translation

学术论文2026-08-06 发布INFO

Game Hopping in Lean

本文提出 HOPSCOTCH，一个基于 Lean 4 的框架，用于机械化计算可靠的、基于游戏的安全证明。安全定义被表达为有状态概率预言机之间的不可区分性，证明过程遵循标准的游戏跳跃范式。HOPSCOTCH 采用浅嵌入方式，预言机和归约都是普

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

#cs.LO #agent-security #llm #formal-verification #cryptography

学术论文2026-08-06 发布INFO

ABC: Numerical Data Collection under Local Differential Privacy without Prior Knowledge

本文针对本地差分隐私（LDP）下数值数据收集中的一个核心难题：传统LDP机制通常需要预先定义数据域（即数值的取值范围），但在实际应用中该范围往往未知。若预设范围过窄，超出范围的值会被截断，造成信息丢失；若预设范围过宽，则扰动阶段会加入过多噪

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

#cs.AI #cs.LG #local-differential-privacy #data-collection #adaptive-bounding

学术论文2026-08-06 发布INFO

Enhancing Anomaly Resilience in Research Networks: A Large-Scale Forecasting Benchmark for Dynamic Security Baselining

本文针对研究与教育网络（RENs）面临的独特安全悖论展开研究。RENs 承载着大规模、突发性的“大象流”正常科研流量，这些流量在统计特征上与 DDoS 等容量型攻击高度相似，导致传统监控系统产生大量误报，进而使安全运营人员无法及时发现真实威

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

#cs.LG #cs.NI #network-security #anomaly-detection #traffic-forecasting #research-education-networks

漏洞预警2026-08-09 发布INFO

A path traversal vulnerability exists in parisneo/lollms version 2.1.0, specifically in the SPA catch-all route implemented in `backend/routers/ui.py`. The vulnerability arises ...

CVE-2026-10595

A path traversal vulnerability exists in parisneo/lollms version 2.1.0, specifically in the SPA catch-all route implemen

历史摘要 · 未重新核验 · NVD

#cve #cwe-23

安全公告2026-08-10 发布INFO

Compatibility Test Suite (CTS)

该输入是 Android 安全公告中指向“兼容性测试套件（Compatibility Test Suite, CTS）”的页面。CTS 是 Google 为 Android 生态提供的一套兼容性测试工具，用于验证设备实现是否符合 Andro