CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure
CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure
批准号:
1900996
负责人:
Bryan Parno
金额:
$19.08万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-06-01 至 2024-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
负责人:叶成林
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:82072415
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
-
批准号:92053110
-
项目类别:重大研究计划
-
资助金额:70.0万元
-
批准年份:2020
-
负责人:彭鹏
-
依托单位:
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
-
批准号:81902805
-
项目类别:青年科学基金项目
-
资助金额:20.5万元
-
批准年份:2019
-
负责人:刘菲
-
依托单位:
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
-
批准号:41973063
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2019
-
负责人:周游
-
依托单位:
CORDEX-CORE区域气候模拟与预估研讨会
-
批准号:41981240365
-
项目类别:国际(地区)合作与交流项目
-
资助金额:1.5万元
-
批准年份:2019
-
负责人:陈威霖
-
依托单位: