CAREER: Towards Efficient Cryptography for Next Generation Applications

在过去的十年中，密码学家已经确定了几个方向，以满足未来的安全需求，如安全的外包环境，对非传统攻击的鲁棒性，以及后量子密码系统。尽管有许多令人兴奋的进步，但其中许多实例化仍然远离实用，这降低了它们的潜在影响。该项目将为减少这些限制提供关键的推动力，以使这些技术在实践中更适用。该项目介绍了同态计算的新的研究密集型课程，为培训学生定义了适当的研究活动，并为包括中学生在内的代表性不足的群体开展了许多推广活动。该项目的重点是改进两个重要的基于格的密码学：（1）同态计算，和（2）对非传统攻击的安全性。这两个类提供了强大的工具来保护外包和便携式环境中的数据，并实现后量子安全。特别是，该项目从最近开发的几种技术开始，这些技术将同态计算与（1）提高基于身份的加密效率，（2）更紧密/更强的安全性，以及（3）非传统攻击联系起来。我们的目标是完善这些最新的方法和设计切实有效的解决方案。这些结果将产生多种有效的后量子密码系统，有助于进一步的后量子加密，并为更先进的应用提供安全的方法。该项目开发的技术有望为实现总体目标带来重要见解，旨在为所有同态计算和非传统攻击安全性构建真正实用的解决方案。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估而被认为值得支持。

During the past decade, cryptographers have identified several directions to meet future security demands like secure outsourced environments, robustness against non-traditional attacks, and post-quantum crypto systems. Despite many exciting advances, many of these instantiations are still far from practical, which reduces their potential impact. This project will provide critical thrusts towards reducing these restrictions in order to make these techniques more applicable in practice. This project introduces new research-intensive courses on homomorphic computation, defines appropriate research activities for training students, and has numerous outreach activities to underrepresented groups including middle school students. This project focuses on improving two significant classes of lattice-based cryptography: (1) homomorphic computation, and (2) security against non-traditional attacks. These two classes provide powerful tools to secure data in both outsourced and portable environments, and additionally achieve post-quantum security. Particularly, this project starts with several recently developed techniques that connect homomorphic computation with (1) improved efficiency of identity-based encryption, (2) tighter/stronger security, and (3) non-traditional attacks. The objective is to refine these recent approaches and design practically efficient solutions. The outcomes would yield multiple efficient post-quantum crypto systems, contributing to further post-quantum standardizations, and providing secure methods for more advanced applications. Techniques developed in this project are expected to bring critical insights for making a leap towards the general goal, aiming at building truly practical solutions for all homomorphic computation and security against non-traditional attacks.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.