研究人员开发了HERTA，一种新颖的自动化测试工具，旨在识别全同态加密（FHE）框架中的漏洞。这些框架对于云计算、金融和医疗保健等领域的隐私保护计算至关重要，但它们非常复杂，容易出现逻辑错误，从而可能悄无声息地损坏数据。HERTA利用了变形测试和FHE特定的语义关系，无需人工验证即可发现这些根深蒂固的问题。使用HERTA对三个领先的FHE框架进行的评估发现了21个先前未知的漏洞，其中一些已被开发人员修复，这凸显了此类漏洞的关键安全影响。 AI
影响 增强了敏感行业中隐私保护计算的安全性和可靠性。
排序理由 该项目描述了一篇介绍用于测试复杂加密框架的新颖工具的研究论文。[lever_c_demoted from research: ic=1 ai=0.7]
在 Hugging Face Daily Papers 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
