课题基金 / 基金详情

CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure

CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure
CNS 核心:大型:协作研究:迈向可进化的公钥基础设施
批准号:
1900996
负责人:
Bryan Parno
金额:
$19.08万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-06-01 至 2024-05-31

项目摘要

项目成果

Bryan Parno的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The importance of the Transport Layer Security (TLS) public key infrastructure (PKI) to the success of the Internet cannot be overstated. From social networking to banking, from mobile devices to cloud computing, the PKI allows communicating parties to be sure of whom they are communicating with, that their communication is confidential, and that their communication has not been tampered with. Despite its incredible importance, the PKI has been notoriously difficult to evolve to meet new security concerns and Internet demands. This project introduces new, deployable alternatives to key parts of the PKI to make it more evolvable, manageable, and secure.The project has three primary thrusts. The first introduces a key enabling technology behind the subsequent thrusts, called assertion-carrying certificates (ACCs). ACCs expand today's certificates with the capability of including a small amount of code (in the form of assertions) to be evaluated as part of the certificate validation process. The second thrust applies ACCs to enable certificate authorities to more readily evolve to new demands for certificate delegation and automated issuance. The third thrust applies ACCs and trusted execution environments to enable web-hosting services like content delivery networks to securely manage their customers' cryptographic keys.Correct operation of the PKI is paramount to ensuring a secure, authenticated Internet. Recent efforts have proven that progress towards a more secure PKI is possible, but a more fundamental focus is needed to address the underlying challenges. This project will do just that by developing a new, extensible approach to constraining when identities on the Internet should be trusted. This project will make it straightforward and safe to extend the basic abstractions offered by the PKI, thereby enabling it to evolve to meet changing trends.The project's code and data will be made publicly available and maintained at https://securepki.orgThis 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.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
Transparency Dictionaries with Succinct Proofs of Correct Operation
具有正确操作的简洁证明的透明字典
DOI: --
发表时间: 2022
期刊: ISOC Conference on Network and Distributed System Security (NDSS
影响因子: --
作者: [Tzialla, Ioanna, Kothapalli, Abhiram, Parno, Bryan, Setty, Srinath]
通讯作者: Setty, Srinath
CAPS: Smoothly Transitioning to a More Resilient Web PKI
CAPS:平稳过渡到更具弹性的 Web PKI
DOI: 10.1145/3427228.3427284
发表时间: 2020
期刊: Annual Computer Security Applications Conference
影响因子: --
作者: [Matsumoto, Stephanos, Bosamiya, Jay, Dai, Yucheng, van Oorschot, Paul, Parno, Bryan]
通讯作者: Parno, Bryan
Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies
Hammurabi:可插入、基于逻辑的 X.509 证书验证策略框架
DOI: 10.1145/3548606.3560594
发表时间: 2022
期刊: Proceedings of the ACM Conference on Computer and Communications Security (CCS
影响因子: --
作者: [Larisch, James, Aqeel, Waqar, Lum, Michael, Goldschlag, Yaelle, Kannan, Leah, Torshizi, Kasra, Wang, Yujie, Chung, Taejoong, Levin, Dave, Maggs, Bruce M.]
通讯作者: Maggs, Bruce M.
Collaborative Research: FMitF: Track I: Simplifying End-to-End Verification of High-Performance Distributed Systems
  • 批准号:
    2318953
  • 项目类别:
    Standard Grant
  • 资助金额:
    $37.5万
  • 财政年份:
    2023
  • 负责人:
    Bryan Parno
  • 依托单位:
SaTC: CORE: Small: Automating the End-to-End Verification of Security Protocol Implementations
  • 批准号:
    2224279
  • 项目类别:
    Standard Grant
  • 资助金额:
    $60.0万
  • 财政年份:
    2022
  • 负责人:
    Bryan Parno
  • 依托单位:
SaTC: CORE: Medium: Collaborative: Automated Support for Writing High-Assurance Smart Contracts
  • 批准号:
    1801369
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $80.0万
  • 财政年份:
    2018
  • 负责人:
    Bryan Parno
  • 依托单位:
国内基金
海外基金
胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
  • 批准号:
    82371765
  • 项目类别:
    面上项目
  • 资助金额:
    50万元
  • 批准年份:
    2023
  • 负责人:
    谭广云
  • 依托单位:
锕系元素5f-in-core的GTH赝势和基组的开发
  • 批准号:
    22303037
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30万元
  • 批准年份:
    2023
  • 负责人:
    鲁俊波
  • 依托单位:
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
  • 批准号:
    --
  • 项目类别:
    --
  • 资助金额:
    52万元
  • 批准年份:
    2022
  • 负责人:
    孙丙军
  • 依托单位:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
  • 批准号:
    --
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30万元
  • 批准年份:
    2022
  • 负责人:
    叶成林
  • 依托单位: