10月15日，为期三天的ACM Computer and Communications Security(CCS)会议在美国盐湖城召开。
ACM CCS与IEEE S&P、USENIX Security、NDSS并称为信息安全领域国际四大顶级学术会议，同时也是中国计算机学会CCF推荐的A类会议。
蚂蚁集团共有8篇论文被ACM CCS 2024收录，其中4篇的第一作者为蚂蚁技术同学。
今天先给大家介绍其中一篇由蚂蚁技术研究院密码学实验室独立完成的论文：《Coral：Maliciously Secure Computation Framework for Packed and Mixed Circuits》。
论文一作、蚂蚁技术研究院密码学实验室研究员黄智聪在ACM CCS2024上分享了这篇论文
Coral是密码学实验室的最新研究成果，也是其在安全计算领域的多个代表性工作的延续。相比于密码学实验室之前的通用安全计算方向的工作，Coral主要的贡献在于把系统安全模型从半诚实模型增强到了恶意模型，能够在计算参与方做任意恶意攻击的情况下仍然保持预设的安全性，大大提升了系统的安全水位。
论文提出了一个更高效的恶意安全MPC框架，其中用到了一个数学工具称为RMFE(reverse multiplication-friendly embedding)，可以简单看作是一种编码方法。当我们需要对多个输入执行同一个计算电路时（例如同时预测多张图片的分类），可以使用RMFE这种技术，从而只需要一份纠错编码就可以同时检查多个输入，让协议速度更快，通信量更低。
之前基于RMFE的MPC工作都是理论性框架，缺少代码实现，因此很难确定这些工作是否真的拥有更高的运行性能；实际上我们通过实践发现，直接按教科书的方式实现RMFE存在很多问题。Coral的其中一个贡献在于给RMFE 这个数学工具提供了第一个实用的高效实现，并且修补了前人工作的多个理论缺陷，对该领域研究的后续发展有重大意义。
论文进一步把RMFE结合到了一个完整的计算框架中，同时支持布尔运算和算术运算，并且结合MPSPDZ框架，可以支持通用场景的恶意模型安全计算（例如决策树，神经网络推理等等）。如下图所示——
以下是
蚂蚁集团被ACM CCS 2024
收录的8篇论文的信息
