Collaborative Research: SaTC: CORE: Medium: Cryptographic accumulators and revocation of credentials
协作研究:SaTC:核心:中:加密累加器和凭证撤销
基本信息
- 批准号:2247305
- 负责人:
- 金额:$ 24万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-05-15 至 2026-04-30
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
As we increasingly conduct so much of our daily lives online, user authentication becomes a vital part for numerous everyday tasks such as shopping, banking and communicating. A common mechanism for digital authentication is the use of authentication tokens, credentials or certificates. Extra care needs to be taken, however, when authentication tokens are compromised, lost or held by an owner who goes rogue. In such cases, it is crucial that there exist an effective mechanism to securely and efficiently revoke such tokens. The goal of this project is to design efficient revocation mechanisms for the Web Public Key Infrastructure (PKI) and potentially transform the future of certificate revocation on the web and beyond; our key innovation is the use of cryptographic accumulators. This project will focus on deploying cryptographic accumulators to improve practicality and reach of revocation mechanisms for Transport Layer Security (TLS) certificates in the Web PKI. Beyond TLS, the project will also concern itself with revocation in code-signing PKI by deploying batching and aggregation techniques on cryptographic accumulators for efficient software validity checks. Finally, the project will address privacy issues when checking revocation and will design solutions that can safeguard the privacy of users in Internet-of-Things (IoT) connected communities. The project vision also includes constructions that satisfy post-quantum security. The intellectual merits of this project are twofold: First, it will provide numerous results on fundamental cryptographic building blocks, such as cryptographic accumulators and (zero-knowledge) proof batch computation/verification and aggregation. The results of this part, while tailored to serve the functionality needs of revocation systems, can be of much broader interest (e.g., also apply in the areas of blockchain scalability, secure computation on the cloud, etc.). Then, this project will also have a strong implementation and evaluation component. All proposed protocols will be implemented, evaluated and compared with existing techniques. The prototype implementations will be integrated in real systems to test how the proposed accumulator protocols perform in real-world settings.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.
随着我们越来越多地在网上进行日常生活,用户身份验证成为购物、银行和通信等众多日常任务的重要组成部分。数字身份验证的一种常见机制是使用身份验证令牌、凭证或证书。然而,当身份验证令牌被盗用的所有者泄露、丢失或持有时,需要格外小心。在这种情况下,存在一种有效的机制来安全和有效地撤销这些令牌是至关重要的。这个项目的目标是为Web公钥基础设施(PKI)设计高效的撤销机制,并潜在地改变Web上和其他地方证书撤销的未来;我们的关键创新是使用密码累加器。该项目将重点部署加密累加器,以提高Web PKI中传输层安全(TLS)证书吊销机制的实用性和覆盖面。除了TLS,该项目还将通过在密码累加器上部署批处理和聚合技术来实现高效的软件有效性检查,从而关注代码签名PKI中的撤销。最后,该项目将解决检查撤销时的隐私问题,并将设计能够保护物联网(IoT)连接社区中用户隐私的解决方案。该项目的愿景还包括满足后量子安全的建筑。这个项目的智力优势有两个:首先,它将提供大量关于基本密码构建块的结果,例如密码累加器和(零知识)证明批量计算/验证和聚集。这一部分的结果虽然是为满足撤销系统的功能需求而量身定做的,但可以引起更广泛的兴趣(例如,也适用于区块链可伸缩性、云上的安全计算等领域)。然后,这个项目也将有一个强大的实施和评估组成部分。所有建议的协议都将得到实施、评估并与现有技术进行比较。原型实现将被集成到真实系统中,以测试建议的累加器协议在真实世界设置中的表现。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Anna Lysyanskaya其他文献
Cryptographic Shallots: A Formal Treatment of Repliable Onion Encryption
加密青葱:可复制洋葱加密的形式化处理
- DOI:
10.1007/978-3-030-90456-2_7 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Megumi Ando;Anna Lysyanskaya - 通讯作者:
Anna Lysyanskaya
Efficient and Universally Composable Non-Interactive Zero-Knowledge Proofs of Knowledge with Security Against Adaptive Corruptions
高效且通用可组合的非交互式零知识知识证明,具有针对自适应腐败的安全性
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Anna Lysyanskaya;Leah Namisa Rosenbloom - 通讯作者:
Leah Namisa Rosenbloom
Privacy-Preserving Blueprints
隐私保护蓝图
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Markulf Kohlweiss;Anna Lysyanskaya;A. Nguyen - 通讯作者:
A. Nguyen
RSA-Based Dynamic Accumulator without Hashing into Primes
基于 RSA 的动态累加器,无需哈希为素数
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Victor Youdom Kemmoe;Anna Lysyanskaya - 通讯作者:
Anna Lysyanskaya
Universally Composable Σ-protocols in the Global Random-Oracle Model
全局随机预言机模型中的通用可组合 Σ 协议
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Anna Lysyanskaya;Leah Namisa - 通讯作者:
Leah Namisa
Anna Lysyanskaya的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Anna Lysyanskaya', 18)}}的其他基金
Collaborative Research: AF: Medium: Foundations of Anonymous Communication in Large-Scale Networks
合作研究:AF:媒介:大规模网络中匿名通信的基础
- 批准号:
2312241 - 财政年份:2023
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Travel: Student Travel to Crypto 2023
旅行:学生加密货币之旅 2023
- 批准号:
2330160 - 财政年份:2023
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Mercurial Signatures and Applications to Privacy-Preserving Authentication
SaTC:核心:小型:Mercurial 签名和隐私保护身份验证的应用
- 批准号:
2154170 - 财政年份:2022
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
TC: Medium: Collaborative Research: Pay-as-you-Go: Security and Privacy for Integrated Transportation Payment Systems
TC:媒介:合作研究:即用即付:集成交通支付系统的安全性和隐私性
- 批准号:
0964379 - 财政年份:2010
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
AF: Student Travel to STOC 2009
AF:2009 年 STOC 学生旅行
- 批准号:
0923716 - 财政年份:2009
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
CT-ISG: Crypto Algorithms for an Integrated Approach to Conditional, Revocable and Traceable Anonymity
CT-ISG:用于有条件、可撤销和可追踪匿名集成方法的加密算法
- 批准号:
0831293 - 财政年份:2008
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
CT-ISG: Reconciling Accountability with Anonymity in P2P Systems
CT-ISG:协调 P2P 系统中的责任与匿名
- 批准号:
0627553 - 财政年份:2006
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
CAREER: Efficient Cryptographic Protocols for Secure and Private Electronic Transactions
职业:用于安全和私密电子交易的高效加密协议
- 批准号:
0347661 - 财政年份:2004
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: SaTC: CORE: Medium: Using Intelligent Conversational Agents to Empower Adolescents to be Resilient Against Cybergrooming
合作研究:SaTC:核心:中:使用智能会话代理使青少年能够抵御网络诱骗
- 批准号:
2330940 - 财政年份:2024
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
- 批准号:
2317232 - 财政年份:2024
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
- 批准号:
2338301 - 财政年份:2024
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
- 批准号:
2317233 - 财政年份:2024
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
- 批准号:
2338302 - 财政年份:2024
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Using Intelligent Conversational Agents to Empower Adolescents to be Resilient Against Cybergrooming
合作研究:SaTC:核心:中:使用智能会话代理使青少年能够抵御网络诱骗
- 批准号:
2330941 - 财政年份:2024
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards Secure and Trustworthy Tree Models
协作研究:SaTC:核心:小型:迈向安全可信的树模型
- 批准号:
2413046 - 财政年份:2024
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: EDU: RoCCeM: Bringing Robotics, Cybersecurity and Computer Science to the Middled School Classroom
合作研究:SaTC:EDU:RoCCeM:将机器人、网络安全和计算机科学带入中学课堂
- 批准号:
2312057 - 财政年份:2023
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Small: Investigation of Naming Space Hijacking Threat and Its Defense
协作研究:SaTC:核心:小型:命名空间劫持威胁及其防御的调查
- 批准号:
2317830 - 财政年份:2023
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards a Privacy-Preserving Framework for Research on Private, Encrypted Social Networks
协作研究:SaTC:核心:小型:针对私有加密社交网络研究的隐私保护框架
- 批准号:
2318843 - 财政年份:2023
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant