CAREER: Unifying Provable Security Techniques for

这个项目的重点是开发新的工具来设计和证明先进的密码系统的安全性。对敏感数据的细粒度访问控制的需求从未像现在这样强烈，功能加密等新范式有可能提供可根据各种数据用途和隐私需求定制的加密系统。然而，随着系统变得越来越复杂，它们自然变得更难推理。通过建立新的减少安全的框架和加强可用于实例化这些框架的数学基础，该项目朝着能够应对这些日益严峻的挑战的灵活和更统一的密码学理论取得了快速进展。特别是，该项目将格子密码学的最新成果与设计安全性降低的新进展结合在一起，以便为高度灵活和可定制的密码系统的安全性提供强有力的论据。项目成果被纳入高级研究生班的课程中，以提供对密码系统设计原理的更全面的看法。本科生和研究生阶段的学生研究人员积极参与，并获得了宝贵的研究经验。还包括面向年轻学生群体的外联活动，即出版一本书，通过童话背景向中年级学生介绍数学推理。从长远来看，该项目为分析和设计灵活的加密系统提供了新的工具，同时也是新兴年轻科学家的切入点和训练场。

This project focuses on the development of new tools for designing and proving the security of advancing cryptographic systems. The need for fine-grained access control to sensitive data has never been greater, and new paradigms like functional encryption have the potential to deliver cryptographic systems that can be tailored to a variety of data uses and privacy needs. However, as systems have grown more complex, they have naturally grown more difficult to reason about. By building new frameworks for security reductions and enhancing the mathematical foundations available to instantiate these frameworks, this project makes fast progress towards a flexible and more unified theory of cryptography that can meet these mounting challenges. In particular, the project integrates recent results in lattice cryptography with new advances in designing security reductions in order to provide strong arguments for the security of highly flexible and customizable cryptographic systems. The project results are incorporated into the curriculum of advanced graduate classes to provide a more integrated view of cryptographic system design principles. Student researchers at the undergraduate and graduate levels are heavily involved and gaining valuable research experience. Outreach activities to younger student populations are also included, namely the production of a book that introduces middle-grade students to mathematical reasoning through a fairy-tale setting. In the long term, this project provides new tools for analyzing and designing flexible cryptographic systems, while also serving as an entry point and training ground for emerging young scientists.