SaTC: CORE: Medium: A Concrete Look at Advanced Cryptography

SaTC：核心：中：高级密码学的具体观察

• 批准号: 2026774
• 负责人: Stefano Tessaro
• 金额: $ 120万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-10-01 至 2024-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2026774&HistoricalAwards=false
• 关键词: SaTC; CORE; Medium; Concrete; Look; SaTC; CORE; Medium; Concrete; Look

The project studies advanced general techniques to accomplish tasks in a privacy-preserving manner. For example, these techniques enable two or more mutually distrusting entities to interact over a network to perform a joint computation on their private data, without revealing this data to each other. Many of these tools have been developed in the context of theoretical cryptography, and only recently started finding their way towards adoption. The project’s novelties are new viewpoints and techniques in the developments of these tools which take inspiration from the analysis of more conventional in-use cryptographic functionalities (like encryption). The project’s impacts are the validation of existing solutions, the development of more efficient and more secure solutions, and initiating new lines of theoretical research.More concretely, this project introduces a new vista on zero-knowledge proofs and multi-party computation, aimed at understanding the trade-off between the concrete efficiency and the concrete security of these protocols. The goal is to analyze existing solutions, but also to propose new ones with better security and/or efficiency. While, in principle, many existing analyses can be re-examined to be made concrete, the project focuses on questions that also capture challenging technical barriers encountered in the process of giving concrete guarantees which are as precise as possible, and this, in turn, motivates new lines of theoretical research. The concrete analysis developed in this project further informs and guides the deployment of the advanced cryptographic techniques examined. As part of the broader impacts, the investigators have an outreach component aimed at training teachers and ambassadors to promote studies in STEM using cryptography.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.

该项目研究采用一般技术来以隐私的方式完成任务。例如，这些技术使两个或多个相互不信任的实体能够通过网络进行交互，以对其私人数据进行联合计算，而无需彼此揭示这些数据。这些工具中的许多是在理论密码学的背景下开发的，直到最近才开始找到采用的方式。该项目的新颖性是这些工具的发展中的新观点和技术，它们从分析更常规的使用中的加密功能（例如加密）中汲取灵感。该项目的影响是对现有解决方案的验证，更有效，更安全的解决方案的开发，并启动了理论研究的新线条。更具体地说，该项目介绍了有关零知识证明和多方计算的新远景，旨在理解具体效率和这些协议的具体安全性之间的权衡。目的是分析现有解决方案，还要提出具有更好安全性和/或效率的新解决方案。原则上，可以对许多现有的分析进行重新检查以进行具体，但该项目集中于在提供尽可能精确的具体保证过程中遇到的挑战技术障碍的问题，这反过来又激励了新的理论研究线。在该项目中开发的分析进一步为研究了先进的加密技术的部署提供了信息。作为广播公司影响的一部分，研究人员的外展部分旨在培训教师和大使使用密码学促进STEM研究。该奖项反映了NSF的法定任务，并被认为是通过基金会的知识分子优点和更广泛的影响审查标准通过评估来评估的支持。