SaTC: CORE: Small: Expanding the Frontiers of Lattice-Based Cryptography

量子计算机的研究和开发对安全和隐私提出了许多新的挑战。例如，大规模量子计算机将危及今天用于保护互联网的大部分加密技术。该项目的新奇在于开发新的系统化方法来构建先进的密码原语，即使在复杂的量子对手存在的情况下也保持稳健。该项目的影响是启用和实现新的和安全的加密原语和机制，以保护我们的关键数字基础设施免受量子计算机带来的潜在威胁。该项目的重点是基于格的密码学，这是一种流行的数学假设，被认为可以抵抗量子攻击。这个项目研究了核心密码原语的新构造，例如零知识证明系统，伪随机函数和基于标准格的假设的软件水印。这些原语是系统中重要的构建块，用于在云中外包计算以及防止未经授权的软件分发。此外，该研究员还开发新的密码学课程，并建议本科生和研究生为设计下一代安全计算系统做好准备。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

Research and development into quantum computers raises many new challenges for security and privacy. For instance, large-scale quantum computers would compromise much of the cryptography used to secure the Internet today. This project's novelty is in developing new and systematic approaches for constructing advanced cryptographic primitives that remain robust even in the presence of sophisticated quantum adversaries. The project's impacts are in enabling and realizing new and secure cryptographic primitives and mechanisms to safeguard our critical digital infrastructure from the potential threat posed by quantum computers.The focus of this project is on lattice-based cryptography, a popular class of mathematical assumptions believed to be resistant against quantum attacks. This project investigates new constructions of core cryptographic primitives, such as zero-knowledge proof systems, pseudorandom functions, and software watermarking from standard lattice-based assumptions. These primitives are important building blocks in systems for outsourcing computations in the cloud as well as for protecting against unauthorized distribution of software. In addition, the investigator develops new cryptography courses and advises undergraduate and graduate students to prepare them with the expertise necessary for designing the next generation of secure computing systems.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.