CIF: Small: Efficiency and Robustness of Secure Computation

CIF：小：安全计算的效率和稳健性

• 批准号: 2327981
• 负责人: Hemanta Maji
• 金额: $ 60万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-12-01 至 2026-11-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2327981&HistoricalAwards=false
• 关键词: CIF; Small; Efficiency; Robustness; Secure

Secure multi-party computation (MPC) is a leading privacy-enhancing technology bridging the data utility and privacy chasm. MPC facilitates computing over private data without revealing non-essential information, meeting privacy expectations, and complying with regulatory privacy laws. MPC creates exciting collaboration opportunities in social, scientific, commercial, and security domains. This project aims to improve the security and efficiency of MPC, thereby increasing its adoption. The project's outcomes will have a significant real-world impact by guiding computer-assisted secure protocol design and automating threat assessment against side-channel attacks.Characterizing MPC's efficiency and robustness is in its infancy. Efficiency metrics like rate and capacity are natural in the cryptographic context. Quantitative investigations into the robustness of MPC against side-channel attacks and recovery from them are also well-motivated. This project builds a mathematical framework to determine the most efficient MPC protocols and their robustness to side-channel attacks. This theory for MPC rate, capacity, and robustness will be built at the intersection of computer science, information theory, and mathematics.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的安全性和效率，从而提高其采用。该项目的结果将通过指导计算机辅助的安全协议设计和自动化威胁评估对侧通道攻击产生重大的实际影响。在加密环境中，效率指标等效率指标是自然的。对MPC对侧通道攻击的鲁棒性及其从中恢复的鲁棒性的定量研究也有充分的动机。该项目建立了一个数学框架，以确定最有效的MPC协议及其对侧通道攻击的鲁棒性。该理论将在计算机科学，信息理论和数学的交集中建立，以构建该奖项。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子和更广泛影响的评估评估的评估来支持的。