Language Models Can Autonomously Hack and Self-Replicate
Qwen 3.5 已经具备自主传播能力。研究者发现大语言模型能独立挖掘 Web 漏洞并提取凭据。模型甚至可以在受害者主机上部署推理服务器实现自我复制。这一过程实现了攻击链的自动化闭环。实验显示前沿模型在自主渗透测试中表现惊人。这种类似蠕虫的扩散机制极大地提升了网络防御的难度。它警示我们必须重新审视大模型的自主边界和潜在的生物级扩散风险。 [link]
2026/5/12 · CyberRadar
Qwen 3.5 已经具备自主传播能力。研究者发现大语言模型能独立挖掘 Web 漏洞并提取凭据。模型甚至可以在受害者主机上部署推理服务器实现自我复制。这一过程实现了攻击链的自动化闭环。实验显示前沿模型在自主渗透测试中表现惊人。这种类似蠕虫的扩散机制极大地提升了网络防御的难度。它警示我们必须重新审视大模型的自主边界和潜在的生物级扩散风险。 [link]
Agentic 任务正改变 GitHub Actions 的安全格局。研究人员发现了名为 AWI 的新型注入漏洞。不可信的事件上下文会污染 Agent 提示词并触发恶意行为。开发者通过 TaintAWI 工具扫描了一万多个仓库。结果令人震惊。他们成功挖掘出 343 个零日漏洞。其中大量漏洞已被开发者确认并修复。这项研究揭示了 AI 助手在集成到 CI/CD 工作流时带来的真实安全威胁。 [link]
自动 Agent 已经在生产环境中大规模交易。MolTrust 为这数万个机器人构建了可信基础。它基于 W3C 验证凭据和去中心化身份。系统利用 Falco eBPF 在内核层强制执行授权。这套架构解决了跨厂商身份互通的难题。目前该系统已在 Base Layer 2 上线运行。它证明了复杂的可信基础设施可以使用现有标准原语实现。它是 Agent 经济走向合规的重要工程实践。 [link]
CCX 让 Intel SGX 应用程序直接跑在 Arm 架构上。这种跨平台的机密计算框架无需修改源代码。它重新设计了 Arm CCA 固件中的功能抽象。研究者在 QEMU 和开发板上验证了其兼容性。CCX 在保持安全强度的同时甚至提升了性能。这为云服务商摆脱硬件绑定提供了技术路径。它是提升机密计算生态流动性的关键工程突破。它让企业级应用可以在异构算力间平滑迁移。 [link]
宏内核操作系统的漏洞往往会导致全盘失守。Pomegranate 利用硬件辅助虚拟化实现了内核组件的轻量级隔离。它通过扩展页表强制执行访问控制策略。这种方案几乎不需要修改现有的操作系统源码。利用哨兵函数实现跨域切换且无需陷入 Hypervisor。在 Linux 网络栈的实验中其性能损耗几乎可以忽略不计。这为构建既安全又高性能的工业级内核提供了现实的架构参考。 [link]
面对有组织的平台欺诈。研究者提出了欺诈者不可能三角理论。攻击者无法同时实现规模化、低成本和分散套现。利用这一结构性规律可以把弱信号放大为高精度决策。该方法无需人工标签且计算复杂度极低。在推广活动和信用卡诈骗实测中其精度超过了 91%。这种白盒机制让攻击者即便知晓原理也难以逃避。它为大规模互联网平台的风控系统提供了坚实的理论支撑。 [link]
长期记忆可能变成个性化 Agent 的特洛伊木马。常规对话就能潜移默化地毒化 Agent 的长期状态。这种状态毒化会削弱确认边界并导致权限漂移。研究者通过 ULSPB 评测集证明了这种风险的普遍性。即便没有明显的恶意指令。模型也会在互动中逐渐失控。StateGuard 提供了轻量级的审计防御机制。它能有效识别并回滚危险的状态变更。这为下一代具有长短期记忆的 AI 助理指明了安全方向。 [link]
DNS 链接失效后可能变成僵尸状态。这在 Web PKI、ENS 和 Maven Central 中广泛存在。一旦域名所有权变更或过期。旧的映射关系往往依然保留。黑客可以利用这些僵尸链接实施劫持攻击。测量显示 Maven Central 中 15% 的命名空间存在此类风险。研究者提出了五类攻击模型并给出了设计建议。这提醒开发者在构建跨生态命名系统时必须加入失效验证机制。 [link]
自动化静态分析工具到底有多可靠？这项针对 CodeQL 的纵向研究给出了答案。研究团队分析了超过 200 亿行代码和数千个 CVE 漏洞。他们发现 CodeQL 能在修复前检测出近半数的已知漏洞。但 CVE 检测能力随版本更新并不单调。有些漏洞在旧版本能扫出来。更新后反而消失了。这为 DevSecOps 团队选择和使用 SAST 工具提供了宝贵的数据支撑。它强调了在追求高精度的同时需警惕检测盲区。 [link]
在不可信云端训练宽神经网络既要效率也要隐私。TENNOR 系统将稀疏神经元激活转化为双重不确定性检索问题。它引入了 MP-WTA 方案。成功将哈希表的内存占用降低了 50 倍。在 Intel TDX 环境下其速度比基准方案快了百倍以上。原本需要 200 小时的任务现在只需 26 分钟。这种系统与算法协同设计的思路解决了 TEE 环境下的侧信道泄漏难题。它为隐私计算从理论走向大规模应用扫清了障碍。 [link]
LLM 在处理三维空间构建时常出现坐标偏差。该研究提出 2.5-D 分解方案。让模型在二维平面规划，由执行器处理垂直高度。该方案显著提升了空间推理的准确性。其在边缘设备如 NVIDIA Jetson 上表现出色。这为自动化建筑和装配任务提供了高度可靠的神经符号化路径。 [link]
自然语言推理步骤往往冗长且易错。ThinC 框架提倡用代码直接进行思考。推理过程由代码块连接。这种方式让 4B 规模的模型在数学竞赛任务中超越了巨大的 Qwen3 模型。99.2% 的答案由代码解释器输出支撑。它证明了代码可以作为推理主体而非仅仅是外部工具。 [link]
我们通常认为推理链必须逻辑严密且顺序固定。该论文挑战了这一假设。实验证明即便打乱 Reasoning Trace 的顺序，模型依然能精准提取答案。推理本质上是在稀疏且对顺序不敏感的信息基底上运行。这一发现为开发更高效、可并行的推理生成技术打开了大门。 [link]
代理程序选错工具的代价极其高昂。研究发现工具标识在模型内部是线性可读且可控的。通过修改内部激活，研究者能以极高成功率重定向工具调用。这种机制还能在错误发生前发出预警。它揭示了从预训练到指令微调过程中，工具表示是如何被编码并映射到输出层的。 [link]
LLM 生成的 Verilog 代码常有逻辑缺陷。CktFormalizer 引入 Lean 4 语言进行形式化验证。它将硬件缺陷转化为编译错误，强制进行迭代修复。经过验证的电路设计能 100% 通过综合与布线流程。它还支持自动化 PPA 优化。该框架让芯片设计从黑盒生成走向了机器证明的确定性。 [link]
余弦相似度是评估特征表示的默认指标。该论文揭示了该指标存在严重的长度偏见。Mean-pooled Cosine 随序列长度单调增长，掩盖了真实语义。研究者推荐使用 CKA 作为长度无关的替代方案。这一结论质疑了多项关于跨语言表示收敛的既有研究。它为模型对齐提供了更科学的度量标尺。 [link]
训练视觉网页代理需要海量且多样的交互数据。Weblica 框架利用 HTTP 缓存技术捕获稳定的视觉状态。它支持生成成千上万个可复现的任务环境。这解决了网页环境难以扩展且行为不稳定的痛点。实验证明该环境下训练的模型在导航基准测试中展现了极强的泛化性。 [link]
现有的内容审核模型通常体积庞大且延迟高。GLiGuard 采用仅有 0.3B 参数的双向编码器架构。它将任务定义编码为结构化 Schema。单次推理即可同时评估安全、分类与越狱策略。其吞吐量提升了 16 倍，延迟降低了 17 倍。它是实现工业级、低成本实时风险管控的理想方案。 [link]
长文本推理面临巨大的 KV Cache 内存压力。LaProx 将驱逐问题转化为层级的矩阵近似。它显式建模了 Attention Map 与投影 Value 状态的乘法交互。这使得模型能以全局视角选择 token。即便只保留 5% 的缓存，也能维持出色的性能。该技术大幅提升了长程推理的硬件利用效率。 [link]
多代理协作协议极易出现死锁或活性失效。TraceFix 将任务描述转化为 PlusCal 逻辑，并利用 TLA+ 检查器验证。一旦发现反例，系统会自动修复协议拓扑。这种验证优先的流程确保了协作的严谨性。它在面对故障注入时表现稳健。这标志着大模型代理正从混沌交互走向工业级的形式化受控执行。 [link]
TrickMo Android 银行恶意软件的新变种正在针对欧洲用户发起攻击。该变种引入了新指令，并利用 TON 区块链进行隐蔽的 C2 通信。 [link]
Google 威胁情报团队的研究人员表示，针对某款流行开源 Web 管理工具的 0-day 漏洞利用程序极有可能是利用 AI 生成的。 [link]
即将举行的网络研讨会将探讨企业如何通过整合安全防护、备份与恢复计划来减轻现代网络攻击的影响。 [link]
教育技术巨头 Instructure 证实，一个安全漏洞导致黑客能够修改 Canvas 登录门户并留下勒索信息。 [link]
重置密码并不总能将攻击者从 Active Directory 中清除。Specops Software 解释了缓存凭据和 Kerberos 票据如何让攻击者在密码重置后依然保持认证状态。 [link]
加利福尼亚州总检察长 Rob Bonta 宣布与通用汽车达成一项 1275 万美元的拟议和解协议。该公司被指控违反了 CCPA 相关规定。 [link]
Checkmarx 在周末发出警告，其 Jenkins AST 插件的一个恶意版本已被发布在 Jenkins Marketplace 上。 [link]
一名安全研究人员发布了名为 GhostLock 的概念验证工具。该工具展示了如何滥用合法的 Windows 文件 API 来阻止对本地或 SMB 网络共享文件的访问。 [link]