SysteMPC车间

波士顿大学主办了第一届安全多方计算系统研讨会（systemc）。

• 日期: the workshop will take place on July 10, 2025, immediately after USENIX OSDI的25.
• 聚会地点: the 段家计算与数据科学中心 at 波士顿大学.
• 登记免费，但我们的计划需要。 If you plan to attend — and especially if you wish to propose a lightning talk or poster presentation — then register using 这个谷歌形式.

SysteMPC研讨会将汇集密码学家和系统新濠影汇线上赌场研究人员，讨论克服在野外使用MPC的实际挑战的进展。 感兴趣的主题包括密码学和系统协同设计、编程抽象、密码学软件的模块化、硬件加速、实验以及与现有生态系统的集成。

我们已经确定了几位研讨会的发言人：

• 马塞尔·凯勒（主讲） MP-SPDZ：六年可扩展MPC
• 彼得·林德尔（主题演讲） 伪随机相关发生器的显著成功
• ——玛丽娜·布兰顿 PICCO编译器的设计和实验经验
• 苗培涵—— 增强私有集交集以获得更广泛的应用
• Antigoni Polychroniadou - 安全计算在新濠影汇赌场行动：现实世界中的金融部署
• 玛丽安娜·雷科娃 Willow：单镜头客户端的安全聚合框架
• 科特·塔利 弥合MPC和信息系统之间的差距

This workshop is organized by Vasia Kalavri, John Liagouris, and Mayank Varia from the BU系统新濠影汇线上赌场研究组 and the BU安全组. 我们感谢美国国家科学基金会、波士顿大学计算机科学系和波士顿大学可靠信息系统与网络安全中心（RISCS）的慷慨支持。

所有会谈的全部资料将在收到后补充如下。

彼得Rindal – 伪随机相关发生器的显著成功

摘要:
Pseudorandom Correlation Generators (PCGs) have emerged as a powerful and versatile tool in the design of efficient secure computation protocols. 这次演讲追溯了密码学中相关随机性的历史轨迹——从不经意转移和海狸三元组的基本角色到更结构化的原语，如矩阵三元组。 这些相关性长期以来一直作为许多安全多方计算（MPC）协议的支柱，使算术和布尔电路的有效评估成为可能。

然后，我们将焦点转移到PCGs的开发上：轻量级加密原语，允许一对当事人将短种子扩展为大量相关随机性，而无需交互并具有强大的安全性保证。 我将调查用于OT相关和Beaver三元组的PCGs的关键结构，讨论它们令人惊讶的效率，并强调它们如何在计算和通信方面优于传统方法几个数量级。

最后，我们思考了PCGs的成功如何重塑了密码学领域——提出了新的协议范式，改进了预计算管道，并为高度可扩展的安全计算铺平了道路。

生物:
彼得Rindal is a cryptographic researcher specializing in secure multi-party computation (MPC) and privacy-preserving cryptographic protocols. 他的工作重点是设计用于安全计算的高效协议，特别强调实际应用和现实世界的性能。 Peter在伪随机相关生成器（pcg）的开发方面做出了基础性的贡献，他还为不经意转移、Beaver三元组和其他形式的相关随机性优化了结构。 他的新濠影汇线上赌场研究弥合了理论与实现之间的差距，推动了现代密码系统可实现的界限。

马里亚纳Raykova – Willow：单镜头客户端的安全聚合框架

摘要:
In this talk we will discuss the challenges for real deployments of private analytics solutions based on our experience with single server and two server solutions in the context of a Federated Learning and Analytics Platform and the Exposure Notifications Private Analytics. 我们将提出一个构建安全聚合解决方案的新框架，其目标是实现一些属性，这些属性将促进各种底层信任架构的部署，并使这些架构之间的转换相当无缝。