ZONE.CI 全球网

本文解析BlackHat2026闭环安全工程，主张将漏洞转化为可测试的检测与缓解工件。核心非依赖大模型生成规则，而是基于行为契约构建状态机，通过回放与降噪迭代验证有效性。建议自动缓解仅限可逆操作并设TTL，重放利用须严控爆炸半径，将每次发现沉淀为长期防御资产。

本文解析BlackHat2026闭环安全工程，主张将漏洞转化为可测试的检测与缓解工件。核心非依赖大模型生成规则，而是基于行为契约构建状态机，通过回放与降噪迭代验证有效性。建议自动缓解仅限可逆操作并设TTL，重放利用须严控爆炸半径，将每次发现沉淀为长期防御资产。

本文解析BlackHat2026闭环安全工程，主张将漏洞转化为可测试的检测与缓解工件。核心非依赖大模型生成规则，而是基于行为契约构建状态机，通过回放与降噪迭代验证有效性。建议自动缓解仅限可逆操作并设TTL，重放利用须严控爆炸半径，将每次发现沉淀为长期防御资产。

文章总结： 本文档介绍AI驱动的自主渗透测试平台Dhunter，其核心是由LLMagent驱动，通过黑板引擎协调多worker并行探索，实现手动化侦察、主动测试

文章总结： RSIAgent提出无需训练的递归自改进框架，通过Actor、Verifier、Curriculum三角色分工及Broad到Deep两阶段探索，解决

文章总结： Dhunter是一个基于LLMagent的自主渗透测试平台，区别于传统漏扫器。它通过黑板引擎协调多worker并行探索，先侦察后规划，并验证漏洞再上

文章总结： 西安电子科技大学发布玄知大模型V4，这是面向密码学领域的可验证智能科研系统，由CryptoLLM、CryptoHarness和CryptoVerif

文章总结： 西安电子科技大学发布玄知大模型V4，这是面向密码学领域的可验证智能科研系统，由CryptoLLM、CryptoHarness和CryptoVerif

文章总结： 西安电子科技大学发布玄知大模型V4，这是面向密码学领域的可验证智能科研系统，由CryptoLLM、CryptoHarness和CryptoVerif

文章总结： 西安电子科技大学发布玄知大模型V4，这是面向密码学领域的可验证智能科研系统，由CryptoLLM、CryptoHarness和CryptoVerif

文章总结： 西安电子科技大学发布玄知大模型V4，这是面向密码学领域的可验证智能科研系统，由CryptoLLM、CryptoHarness和CryptoVerif

文章总结： 本文解析BlackHat2026闭环安全工程，主张将漏洞转化为可测试的检测与缓解工件。核心非依赖大模型生成规则，而是基于行为契约构建状态机，通过回放

文章总结： 本文复盘了银狐木马伪装搜狗输入法的应急响应过程。攻击者利用SEO投递恶意NSIS安装包，通过PowerShell将全盘加入Defender白名单规避

文章总结： AIxVuln是基于大模型+工具调用+Docker沙箱的自动化漏洞挖掘与验证系统，通过WebAPI管理项目，集成Ops/Analyze/Verifi

文章总结： 亚信安全截获银狐木马新变种，该变种利用伪造NSIS安装包通过字符串拼接混淆技术绕过静态检测。攻击链包含PowerShell策略绕过、设置杀软排除路径

Aptos是Facebook（Meta）稳定币项目Diem前团队成员开发的新一代区块链公链，使用基于rust的move虚拟机系统来实现和执行智能合约。Move编

低危kernel： eBPF verifier log 泄漏地图指针的下半部分CVE编号
CVE-2017-9150利用情况
POC 已公开补丁情况 官方补

高危Ubuntu/Debian 内核BPF Verifier缺陷可导致本地提权漏洞CVE编号
CVE-2017-16995利用情况
漏洞武器化补丁情况 官方

OAuth2：PKCE 可以被完全规避 (CVE-2023-48228)CVE编号
CVE-2023-48228利用情况
暂无补丁情况 N/A披露时间 20

高危Ubuntu/Debian 内核BPF Verifier缺陷可导致本地提权漏洞CVE编号
CVE-2017-16995利用情况
漏洞武器化补丁情况 官方

漏洞是由于ebpf模块的整数扩展问题导致可以一段指令绕过verifier的检测，进而向内核注入任意的执行代码，导致本地提权。这里就不在介绍ebpf的基础知识了，

author: moxingyuan from iceswordlab
一、漏洞背景
CVE-2022-23222 是一个 Linux 内核漏洞，其成因为 eB