CAREER: An Automated Compiler-Runtime Framework for Democratizing Secure Collaborative Computation

职业：用于民主化安全协作计算的自动编译器运行时框架

• 批准号: 2238671
• 负责人: Wenting Zheng
• 金额: $ 59.62万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-04-01 至 2028-03-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2238671&HistoricalAwards=false
• 关键词: CAREER; Automated; Compiler; Runtime; Framework

The recent revolution in advanced analytics and machine learning gave rise to a growing demand among organizations for high-value data. However, obtaining sufficient volumes of such data is challenging in many areas because most high-value data is sensitive, and is owned by and split across multiple organizations. Organizations often cannot share the data they own due to privacy concerns, regulatory policies, and/or business competition. A promising solution is secure multiparty computation (MPC), a cryptographic technique that allows organizations to run complex computations on their joint dataset without revealing sensitive inputs to other parties. Unfortunately, developing efficient protocols remains a labor-intensive process that requires cryptographic expertise and is out of reach for most users and developers. The project's broader significance and importance are to accelerate and democratize the adoption of MPC by designing and building an end-to-end, integrated compiler-runtime framework that automatically generates and executes optimized, workload-specific MPC protocols. The project’s novelties are to build such a framework by developing and combining new insights from compilers, cryptography, and distributed systems. The team of researchers plan to address the research question in three broad thrusts. The first thrust develops the foundation of the platform by supporting a basic compilation infrastructure that is extensible to a wide variety of MPC primitives. The second thrust designs novel techniques for the compiler to generate workload-specific MPC protocols for user-provided high-level programs. The third thrust creates a new distributed runtime for efficiently executing and scheduling MPC protocols that are generated using techniques from Thrust 2. The team is planning to open source the framework for other researchers and educators, and is working to create new graduate courses and outreach programs to make research more accessible to undergraduate students.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

最近的高级分析和机器学习革命导致组织对高价值数据的需求不断增长。然而，在许多领域获取足够数量的此类数据都具有挑战性，因为大多数高价值数据都是敏感的，并且由和拥有。由于隐私问题、监管政策和/或业务竞争，组织通常无法共享其拥有的数据，一个有前途的解决方案是安全多方计算（MPC），这是一种允许组织在其上运行复杂计算的加密技术。联合数据集而不向其他人泄露敏感输入不幸的是，高效的协议仍然是一个劳动密集型的过程，需要加密专业知识，并且对于大多数用户和开发人员来说是遥不可及的。该项目的更广泛的意义和重要性是通过设计和开发构建一个终端来加速和民主化 MPC 的采用。端到端的集成编译器运行时框架，可自动生成并执行优化的、特定于工作负载的 MPC 协议。该项目的新颖之处在于通过开发和结合来自编译器、密码学和分布式系统的新见解来构建这样的框架。计划通过三个主要方向来解决该研究问题。第一个方向是通过支持可扩展至各种 MPC 原语的基本编译基础架构来开发平台的基础，第二个方向是为编译器设计生成工作负载的新技术。第三个推动力创建了一个新的分布式运行时，用于有效执行和调度使用 Thrust 2 中的技术生成的 MPC 协议。该团队计划为其他研究人员和教育工作者开源该框架。 ，并且正在工作创建新的研究生课程和推广计划，使本科生更容易进行研究。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。