SaTC: TTP: Medium: Collaborative: Securing the Software Supply Chain
SaTC: TTP: Medium: Collaborative: Securing the Software Supply Chain
批准号:
1801376
负责人:
Justin Cappos
金额:
$76.6万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-07-01 至 2022-06-30
中文摘要
制作现代软件涉及到诸如源代码管理系统、验证/构建/打包系统以及用于分发软件和更新的存储库之类的工具。正如最近的许多事件所证明的那样,这个软件链的安全性今天被严重忽视了。现有的防御措施为单个问题提供了零碎的解决方案,当组合在一起时,无法提供端到端的保证。 该项目旨在将一个称为“in-toto”的系统过渡到广泛的实际使用,该系统提供有关软件供应链的见解和端到端保证。in-toto从开发人员编写软件的那一刻起就保护软件,并确保信任链可以一直遵循到安装在用户设备上的软件。In-toto为链中的每个步骤生成加密签名的元数据,并将这些元数据链接在一起并在整个链中携带。显着的积极影响来自于使软件开发过程透明且可公开验证。in-toto提供了一种自然的方式来使代码审查和测试实践公开可见,从而激励开发人员遵循安全的软件实践。 通过正在进行的和未来的合作,in-toto正在被集成到几个大型软件项目中,这些项目将对数百万台计算机产生积极影响。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
Making modern software involves tools such as a source code management system, a verify/build/package system, and a repository for distributing software and updates. The security of this software chain is dramatically overlooked today, as many recent incidents demonstrate. Existing defenses provide piecemeal solutions to individual problems and, when combined, do not provide end-to-end guarantees. This project seeks to transition into widespread practical use a system called "in-toto", which provides insights and end-to-end guarantees about the software supply chain. in-toto protects software from the moment it is written by a developer and ensures that the chain of trust can be followed all the way to the software that gets installed on user devices. In-toto generates cryptographically signed metadata for each step in the chain, and links together and carries these metadata throughout the entire chain. The salient positive impact comes from making the software development process transparent and publicly verifiable. in-toto provides a natural way to make the code review and testing practices publicly visible, thus incentivizing developers to follow safe software practices. Through ongoing and future collaborations, in-toto is being integrated into several large software projects that will positively impact millions of computers.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.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
in-toto: Providing farm-to-table guarantees for bits and bytes
in-toto:为比特和字节提供从农场到餐桌的保证
DOI:
10.5555/3361338.3361435
发表时间:
2019
期刊:
Proc. of the 28th USENIX Security Symposium
影响因子:
--
作者:
[Torres-Arias, Santiago, Afzali, Hammad, Kuppusamy, Trishank Karthik, Curtmola, Reza, Cappos, Justin]
通讯作者:
Cappos, Justin
le-git-imate: Towards Verifiable Web-based Git Repositories
le-git-imate:迈向可验证的基于 Web 的 Git 存储库
DOI:
10.1145/3196494.3196523
发表时间:
2018
期刊:
Proceedings of the 2018 on Asia Conference on Computer and Communications Security (ASIACCS '18
影响因子:
--
作者:
[Afzali, Hammad, Torres-Arias, Santiago, Curtmola, Reza, Cappos, Justin]
通讯作者:
Cappos, Justin
Towards adding verifiability to web-based Git repositories
为基于 Web 的 Git 存储库添加可验证性
DOI:
10.3233/jcs-191371
发表时间:
2020
期刊:
Journal of Computer Security
影响因子:
1.2
作者:
[Afzali, Hammad, Torres-Arias, Santiago, Curtmola, Reza, Cappos, Justin]
通讯作者:
Cappos, Justin
Commit Signatures for Centralized Version Control Systems (Extended Abstract)
集中版本控制系统的提交签名(扩展摘要)
DOI:
10.1007/978-3-030-22312-0_25
发表时间:
2019
期刊:
Proceedings of the IFIP 34th International Conference on ICT Systems Security and Privacy Protection (SEC ’19
影响因子:
--
作者:
[Vaidya, Sangat, Torres-Arias, Santiago, Curtmola, Reza, Cappos, Justin]
通讯作者:
Cappos, Justin
Collaborative Research: SaTC: TTP: Medium: Defending the Supply Chain of Democracy: Towards a Cryptographically Verified and Authenticated Network of Laws
-
批准号:2247829
-
项目类别:Standard Grant
-
资助金额:$68.76万
-
财政年份:2023
-
负责人:Justin Cappos
-
依托单位:
SaTC: TTP: Medium: Securing Python's Software Supply Chain
-
批准号:2054692
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2021
-
负责人:Justin Cappos
-
依托单位:
ASPIRE: An SFS Program for Interdisciplinary Research and Education (Renewal)
-
批准号:1922291
-
项目类别:Continuing Grant
-
资助金额:$483.05万
-
财政年份:2019
-
负责人:Justin Cappos
-
依托单位:
SaTC: CORE: Small: Better Software Security Through Caging
-
批准号:1815925
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Justin Cappos
-
依托单位:
Collaborative Research: EAGER: REAL Leafy - A Sustainable, Viral Infrastructure-as-a-Service Edge Cloud
-
批准号:1820906
-
项目类别:Standard Grant
-
资助金额:$8.93万
-
财政年份:2018
-
负责人:Justin Cappos
-
依托单位:
CICI: Data Provenance: Data Quality and Security Evaluation Framework for Mobile Devices Platform
-
批准号:1547290
-
项目类别:Standard Grant
-
资助金额:$29.99万
-
财政年份:2016
-
负责人:Justin Cappos
-
依托单位:
TWC: Medium: Collaborative: Developer Crowdsourcing: Capturing, Understanding, and Addressing Security-related Blind Spots in APIs
-
批准号:1513457
-
项目类别:Standard Grant
-
资助金额:$39.43万
-
财政年份:2015
-
负责人:Justin Cappos
-
依托单位:
EAGER: Collaborative: Using Cognitive Techniques To Detect and Prevent Security Flaws
-
批准号:1444827
-
项目类别:Standard Grant
-
资助金额:$13.43万
-
财政年份:2015
-
负责人:Justin Cappos
-
依托单位:
CI-New: Collaborative Research: An Open Observatory for the Internet's Last Mile
-
批准号:1405907
-
项目类别:Standard Grant
-
资助金额:$19.99万
-
财政年份:2014
-
负责人:Justin Cappos
-
依托单位:
CI-EN: Helping Home Network Research to Seattle On Access Routers (SOAR)
-
批准号:1405904
-
项目类别:Standard Grant
-
资助金额:$68.9万
-
财政年份:2014
-
负责人:Justin Cappos
-
依托单位:
TTP: Securing Python Package Management with The Update Framework (TUF)
-
批准号:1345049
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2013
-
负责人:Justin Cappos
-
依托单位:
TWC: Small: Caging Libraries To Control Software Faults
-
批准号:1223588
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2012
-
负责人:Justin Cappos
-
依托单位:
CI-ADDO-EN: Enhancing and Supporting a Community Testbed
-
批准号:1205415
-
项目类别:Standard Grant
-
资助金额:$34.63万
-
财政年份:2012
-
负责人:Justin Cappos
-
依托单位:
国内基金
海外基金
登录
查看更多内容
RNA结合蛋白TTP在阿尔茨海默病中的作用机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:
-
依托单位:
TTP和XPO4蛋白介导lncRNA转运在子宫颈鳞状细胞癌中功能及机制的研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2022
-
负责人:陈亮
-
依托单位:
平滑肌中TTP在血压调控中的作用及机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:52万元
-
批准年份:2022
-
负责人:张文程
-
依托单位:
TTP-KDM3A/CYP19A1调控滋养层细胞分化和侵袭的机制研究
-
批准号:82171669
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2021
-
负责人:林羿
-
依托单位:
心外膜脂肪组织TTP在病理性心肌肥厚发生发展中的作用及机制研究
-
批准号:82100279
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:李静媛
-
依托单位:
锌指蛋白TTP调控m6A抑制血吸虫病肝纤维化的机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:55万元
-
批准年份:2021
-
负责人:董惠芬
-
依托单位:
RNA结合蛋白TTP靶向抑制LncRNA-SNHG1保护帕金森病多巴胺神经元的机制研究
-
批准号:82101341
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:何骁征
-
依托单位:
外泌体miR-27a-3p—TTP—NLRP3环路介导的软骨细胞焦亡与滑膜炎正反馈互作在膝骨关节炎中的作用及机制研究
-
批准号:82002331
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:阮光峰
-
依托单位:
αIIb启动子调控血小板靶向表达ADAMTS13治疗CRISPR/Cas9构建的TTP小鼠模型的实验研究
-
批准号:82070117
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:骆晓峰
-
依托单位:
锌指蛋白TTP介导的C型钠肽mRNA 降解参与卵母细胞减数分裂恢复的机制
-
批准号:31972573
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2019
-
负责人:安磊
-
依托单位: