10:40
arXiv cs.LG@Yiteng Peng, Dongwei Xiao, Zhibo Liu, Zhenlan JI, Shuai Wang
推荐理由：这个工具能自动找出FHE框架的隐藏bug，已经发现了21个，开发者都确认了。搞隐私计算的值得一看。
全部 AI 动态
AI 相关资讯全量信息流
6月23日
10:40
HERTA是首个针对全同态加密（FHE）框架的自动化测试工具。它利用蜕变测试方法，设计了基于FHE语义的新型蜕变关系，以检测多层软件栈中的实现错误。在3个主流工业框架上的评估中，HERTA发现了21个先前未知的漏洞，部分已被开发者确认修复。分析表明这些漏洞对FHE服务的完整性和可用性构成严重安全威胁。
6月19日
10:38
10:38
arXiv: DeepSeek@Arastoo Zibaeirad, Marco Vieira
精选
推荐理由：这篇论文用800多个Linux内核漏洞样本做了严谨测试，发现LLM微调后只是改分数线，不是真懂安全。检测率刚过50%，别指望它们当安全审计员。
6月18日
09:23
09:23
arXiv: DeepSeek@Zhengxiong Luo, Mehtab Zafar, Dylan Wolff, Abhik Roychoudhury
精选
推荐理由：这篇论文让AI漏洞检测不再黑箱——Code-Augur会生成明确的安全假设，再用模糊测试验证，已经在真实项目里挖出22个新漏洞，比专用模型还管用。
6月16日
20:46
AITOP6月16日 20:46
6月12日
12:57
AITOP6月12日 12:57
6月11日
15:28
AITOP6月11日 15:28
15:23
AITOP6月11日 15:23
15:07
AITOP6月11日 15:07