10:40arXiv cs.LG@Yiteng Peng, Dongwei Xiao, Zhibo Liu, Zhenlan JI, Shuai WangHERTA是首个针对全同态加密(FHE)框架的自动化测试工具。它利用蜕变测试方法,设计了基于FHE语义的新型蜕变关系,以检测多层软件栈中的实现错误。在3个主流工业框架上的评估中,HERTA发现了21个先前未知的漏洞,部分已被开发者确认修复。分析表明这些漏洞对FHE服务的完整性和可用性构成严重安全威胁。论文全同态加密HERTA漏洞检测自动化测试FHE安全推荐理由:这个工具能自动找出FHE框架的隐藏bug,已经发现了21个,开发者都确认了。搞隐私计算的值得一看。原文
11:25arXiv cs.LG@Jian Yang, Yuan Tong, Qinbin Li, Zeyi Wen, Xiaofang Zhou精选本文提出一种基于全同态加密(FHE)的因果结构学习方法,在数据传输和计算过程中全程保持加密状态,解决分布式场景下的隐私泄露问题。针对FHE计算成本高、不支持除法和对数运算的挑战,作者设计了电路简化、牛顿-拉夫森倒数近似和泰勒展开等创新技术,并利用SIMD批处理加速。该方法还能扩展支持差分隐私,实验表明在测试数据集上结果与明文版本高度一致,且能在数十分钟内完成学习。论文全同态加密因果结构学习隐私保护分布式计算SIMD加速推荐理由:做分布式数据挖掘或医疗、金融等隐私敏感领域因果分析的团队,终于有了一个可落地的加密方案——FHE 的算力瓶颈被巧妙绕过,建议直接看技术细节。原文