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

SaTC：核心：小型：扩展基于格的密码学的前沿

• 批准号: 2151131
• 负责人: David Wu
• 金额: $ 49.92万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-09-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2151131&HistoricalAwards=false
• 关键词: SaTC; CORE; Small; Expanding; Frontiers

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.

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

项目成果

Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices

来自莱迪思的更短、更快的后量子指定验证者 zkSNARK

• DOI: 10.1145/3460120.3484572
• 发表时间: 2021
• 期刊: ACM Conference on Computer and Communications Security (CCS
• 作者: Ishai, Yuval;Su, Hang;Wu, David J.
• 通讯作者: Wu, David J.

Authenticated Private Information Retrieval

认证私人信息检索

• 发表时间: 2023
• 期刊: USENIX Security Symposium
• 作者: Colombo, Simone;Nikitin, Kirill;Corrigan-Gibbs, Henry;Wu, David J.;Ford, Bryan
• 通讯作者: Ford, Bryan

Traceable PRFs: Full Collusion Resistance and Active Security

• DOI: 10.1007/978-3-030-97121-2_16
• 发表时间: 2021
• 期刊: IACR Cryptol. ePrint Arch.
• 作者: Sarasij Maitra;David J. Wu

On Succinct Arguments and Witness Encryption from Groups

关于简洁论证和群体见证加密

• DOI: 10.1007/978-3-030-56784-2_26
• 发表时间: 2020
• 期刊: Annual International Cryptology Conference (CRYPTO
• 作者: Barta, O.;Ishai, Y.;Ostrovsky, R.;Wu, D.J.
• 通讯作者: Wu, D.J.

New Constructions of Statistical NIZKs: Dual-Mode DV-NIZKs and More

统计 NIZK 的新结构：双模 DV-NIZK 等

• DOI: 10.1007/978-3-030-45727-3_14
• 发表时间: 2020
• 期刊: Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT
• 作者: Libert, B.;Passelègue, A.;Wee, H.;Wu, D.J.
• 通讯作者: Wu, D.J.