CAREER: Unifying Provable Security Techniques for

职业：统一可证明的安全技术

• 批准号: 1552932
• 负责人: Allison Bishop
• 金额: $ 54.52万
• 依托单位: Columbia University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-06-01 至 2022-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1552932&HistoricalAwards=false
• 关键词: CAREER; Unifying; Provable; Security; Techniques

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.

该项目的重点是开发用于设计和证明先进密码系统安全性的新工具。对敏感数据的细粒度访问控制的需求从未如此强烈，而像函数加密这样的新范式有可能提供可以根据各种数据使用和隐私需求量身定制的加密系统。然而，随着系统变得越来越复杂，它们自然变得越来越难以推理。通过构建新的安全性降低框架并增强可用于实例化这些框架的数学基础，该项目朝着灵活且更统一的密码学理论取得了快速进展，可以应对这些日益严峻的挑战。特别是，该项目将格密码学的最新成果与设计安全性降低的新进展相结合，为高度灵活和可定制的密码系统的安全性提供强有力的论据。该项目的结果被纳入高级研究生课程，以提供密码系统设计原理的更综合的视图。在本科和研究生水平的学生研究人员积极参与，并获得宝贵的研究经验。还包括针对年轻学生的外联活动，即编写一本书，通过童话故事向中年级学生介绍数学推理。从长远来看，该项目为分析和设计灵活的密码系统提供了新的工具，同时也为新兴的年轻科学家提供了一个切入点和培训基地。