Technical Report on Resilient and Secure Large-Scale Energy Internet Systems
本报告由 IEEE PES 工作组撰写，聚焦大规模能源互联网（Energy Internet, EI）系统的安全性与弹性问题。EI 系统通过深度数字化将电力层、信息层和市场层紧密耦合，形成典型的网络-物理融合系统（CPS），其安全威胁面已从
2026-08-17 归档
今日共收录 803 条安全情报，包含 111 个 CVE，370 篇安全通告，以及 71 篇研究论文。
← 返回归档列表Structural Leakage in Graph Encryption: Attacks and Defenses
该论文报告针对图加密方案（GES）在单对最短路径（SPSP）查询中的结构泄露问题进行了系统分析，整合了两项近期工作的研究成果。首先，针对旨在抵抗查询恢复攻击的PathGES方案，论文指出其基于重轻分解（HLD）和规范片段编码的设计存在严重不
CipherSight: Robust Website Fingerprinting via Record-Resource Semantic Supervision under Distribution Shifts
本文提出 CipherSight，一种基于 TLS 记录的分层框架，用于增强 HTTPS 网站指纹识别（WF）在分布偏移下的鲁棒性。现实部署中，由于时间推移和地理位置变化，训练数据与测试数据之间存在显著的分布外（OOD）问题；同时开放世界场
Verified Pythagorean Composition for Adaptive Cryptographic Games: Noise Flooding in Homomorphic Encryption
本文研究近似同态加密（approximate homomorphic encryption）中噪声泛洪（noise flooding）防御手段在自适应解密攻击下的安全性证明问题。噪声泛洪是抵御解密攻击的标准技术，但其安全证明对组合方式异常敏
The ack3 H1 2026 DeFi Incident Dataset: Audit Scope Across 135 Security Incidents
该论文基于网络安全公司 ack3 发布的 H1 2026 DeFi 事件数据集，对 2026 年 1 月 1 日至 6 月 29 日期间发生的 135 起 DeFi 安全事件进行了系统性分析，重点关注智能合约审计范围与事件路径之间的关系。数
A Reproducibility Protocol for Cross-Implementation Evaluation of Post-Quantum ACVP Test Vectors
本文提出并实施了一套面向后量子密码学（PQC）标准 ML-KEM 的跨实现可复现性验证协议，旨在解决加密标准独立实现之间已知答案测试（KAT）一致性验证中因语料、版本、公共接口、排除规则和证据记录不一致而导致的验证结论不可靠问题。作者设计了
Weird Machines in Transport Layer Security
该论文将“奇异机器”（weird machines）理论首次拓展到传输层安全（TLS）领域，聚焦于两个主流实现：OpenSSL 和 BoringSSL。奇异机器是指由系统架构组件组合而产生的潜在计算能力，此前已在 x86 指令、ELF 元数
"I Thought You Were The Uncensored Place": Norms, Rules, and Moderation in AI-Generated Sexual Content Communities
该研究聚焦于AI生成性内容（AIG-SC）在线社区中的治理问题。随着AI生成性内容的生产日益增多，大量支持创作者需求的在线社区应运而生，其中一些大型社区（成员数超过1万）明确制定了禁止创建和分享滥用性内容（例如AI生成的儿童性虐待材料，CS
Concept Drift Detection and Adaptive Retraining of Malware Classification Models
本文研究恶意软件分类模型中概念漂移的检测与自适应重训练问题。概念漂移是指数据统计特性随时间发生变化，从而导致基于历史数据训练的机器学习模型性能下降。在恶意软件检测场景中，攻击者不断修改恶意代码以规避检测，因此模型极易受到概念漂移的影响。作者
TopoIntent: Compiling Security Intent into Executable, Compliance-Checked Network Topologies
本文提出TopoIntent，一个将安全意图自动编译为可执行且合规的网络拓扑的系统。企业安全拓扑设计通常需要人工将业务意图、监管要求和风险假设转化为具体的网络区域、边界设备、区间路径和访问控制策略，而现有NetOps自动化工具多在拓扑设计完
VR-Themis: A Scalable Framework for Virtual Reality Application Clone Detection
该论文首次关注虚拟现实（VR）应用市场中的“克隆应用”（App Cloning）问题，即恶意或非法用户对正版 VR 应用进行重打包（Repackaging），这不仅威胁用户安全隐私，还侵犯开发者版权。现有克隆检测方法主要面向 Android
Smart Contract Invariants Protect Against Cybercriminals
本文针对区块链智能合约频繁遭受网络犯罪分子攻击、造成巨额资产损失这一严峻安全问题展开研究。作者指出，尽管区块链环境被认为是计算领域最具对抗性的环境之一，但现有技术和概念尚未能真正有效解决漏洞被利用的问题。为此，论文提出并系统验证了经典的程序
A Commitment-Based Hybrid Post-Quantum Cryptographic Model for Multi-File Cloud Storage
随着量子计算的发展，传统公钥密码体制面临严重威胁，云存储客户端需要能够抵抗未来量子攻击者的认证方案。现有做法是将经典密码算法与标准化后量子算法结合，形成混合密码系统。然而，在多文件上传场景中，简单的混合方案会对每个文件执行一次基于格的签名，
InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy
该论文聚焦于处理器规范（processor specification）的正确性验证问题。处理器规范是反汇编器、反编译器、模拟器等关键安全与程序分析工具的基础，但其正确性很少被系统检查。规范中的错误会扭曲程序行为、掩盖漏洞，甚至为分析规避技
ATOBench: Tracing How Autonomous Penetration-Testing Agents Verify Vulnerabilities When Target Evidence Lies
本文提出 ATOBench，一个面向自主渗透测试代理的评估框架，核心目标是让代理在面对欺骗性目标响应时的验证过程变得可观测。研究背景是：自主渗透测试代理依赖目标系统的响应来指导后续动作和生成最终报告，如果目标响应被欺骗（例如植入错误证据），
Adversarial Robustness in Smishing Detection: A Comparative Analysis of Adversarial Fragility in Classical vs. Transformer-Based Detection Systems
本文针对短信钓鱼（smishing）检测系统的对抗鲁棒性进行了系统比较研究。当前多数检测模型在干净、单语文本上训练与评估，但在低资源场景下，攻击者常通过字符混淆、跨语言代码切换和结构扰动等方式规避检测。研究选取了五种模型架构：三种经典词法模
Labels Are Not Endpoints: Treatment Leakage and Construct Validity in MCP Agent Security Evaluation
本文针对工具使用型智能体（MCP Agent）安全评估中的方法论缺陷展开审计研究。作者指出，当前许多安全评估将存储的标签（如 ATTACK_SUCCESS）直接等同于真实行为事实，忽略了标签生成过程中的偏差。研究团队对一个已保存的评估活动进
RealmEye: Virtual Machine Introspection for Arm CCA Realm VMs
本文提出 RealmEye，这是首个面向 Arm 机密计算架构（Arm CCA）Realm 虚拟机的虚拟机自省（VMI）系统。在机密虚拟机（CVM）成为金融、隐私保护 AI 推理等敏感云工作负载主流基座的背景下，硬件隔离虽然能防御恶意云平台
Correct Is Not Governed: Provenance Integrity in Agentic Workflows
该论文针对智能体工作流（agentic workflows）评估标准过于单一的问题展开研究。传统上，系统是否成功仅取决于是否达到正确结果，但在机构化场景中，这一标准远远不够：一个动作即使结果正确，也可能依赖于错误的权威来源、包含未经证实的完
Lower Bounds on Black-Box Constructions of Pseudorandom Functions
本文研究黑盒构造伪随机函数（PRF）的下界问题。Goldreich、Goldwasser和Micali（GGM）在1984年首次利用伪随机生成器（PRG）的黑盒访问构造了PRF，结合Levin的域扩展技术后，该构造需要调用PRG ω(log