TWC: Small: Finding Optimality in Practical Cryptography

TWC：小：在实用密码学中寻找最优性

• 批准号: 1617197
• 负责人: Michael Rosulek
• 金额: $ 50万
• 依托单位: Oregon State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-08-01 至 2021-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1617197&HistoricalAwards=false
• 关键词: TWC; Small; Finding; Optimality; Practical

This project aims to obtain provably optimal cryptographic constructions, using objectively practical techniques, for a wide range of tasks. To achieve this goal, the project makes progress on three technical fronts. First, a general-purpose framework is developed that encompasses and systematizes known practical cryptographic techniques from many domains. Second, the project develops techniques for proving concrete, fine-grained lower bounds about constructions within this framework. Finally, techniques from program synthesis will be applied to the new framework. These techniques culminate in methods for automatically synthesizing secure and optimal cryptographic constructions.This project focuses on cryptographic constructions that use fast, practical techniques. Such constructions are the most likely to have immediate impact on everyday use. The cryptographic applications areas being studied range from fundamental ones already in widespread use, such as symmetric-key encryption and digital signatures, to more advanced ones more recently approaching practical adoption like garbled circuits. The project also advances undergraduate and graduate education in cryptography with the ongoing development of comprehensive and innovative curricular materials.

该项目旨在使用客观实用的技术，为广泛的任务获得可证明是最优的密码结构。为了实现这一目标，该项目在三个技术方面取得了进展。首先，开发了一个通用框架，它包含并系统化了许多领域的已知实用密码技术。其次，该项目开发了在该框架内证明关于建筑的具体、细粒度下限的技术。最后，程序综合的技术将被应用到新的框架中。这些技术最终形成了自动合成安全和最优密码结构的方法。本项目重点介绍使用快速、实用技术的密码结构。这样的结构最有可能对日常使用产生直接影响。正在研究的密码应用领域从已经广泛使用的基本应用领域，如对称密钥加密和数字签名，到最近接近实际采用的更高级应用领域，如混淆电路。随着综合性和创新性课程材料的不断开发，该项目还促进了密码学本科生和研究生教育。