CICI: UCSS: Helix++: Securing Open Science Platforms
CICI: UCSS: Helix++: Securing Open Science Platforms
批准号:
2115130
负责人:
Jack Davidson
金额:
$49.8万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2021
资助国家:
美国
项目状态:
已结题
起止时间:
2021-08-01 至 2024-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The Helix++ project’s goal is to use recently developed, promising cybersecurity research results to secure open-science platforms. Securing these open-science platforms is vital because compromise of research infrastructure can have severe consequences, including the delay of critical research, corruption of research results, theft of intellectual property, and exposure of personally identifiable information. Beyond providing researchers customized, secure packages of widely used open software, the Helix++ project will provide insights and directions for future research and strategies for protecting critical cyber infrastructure. Using two existing operational open-science platforms at the University of Virginia, the project will investigate the interaction of technical and policy issues which are fundamental to infrastructure protection.The open-source Helix++ project improves the security posture of open science platforms by applying cutting-edge cybersecurity techniques to diversify and harden software automatically. A distinguishing feature of Helix++ is that it does not require source code or build artifacts. It operates directly on software in binary form—even stripped executables and libraries. This feature is key as rebuilding applications from source is a time-consuming and often frustrating process. Helix++ enables the rapid generation and deployment of secure containers and virtual machines, wherein various applications and libraries are transformed to incorporate the Helix++ protections. Diversification breaks the software monoculture and makes attacks harder to execute as information needed for a successful attack will have changed unpredictably. Diversification also forces attackers to customize an attack for each target instead of attackers crafting an exploit that works reliably on all similarly configured targets. Hardening directly targets key attack classes. The combination of diversity and hardening provides defense-in-depth, as well as a moving target defense. Helix++ is evaluated on two open science platforms to demonstrate its efficacy and usability.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.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
DOI:
--
发表时间:
2021
期刊:
International Journal for Numerical Methods in Engineering
影响因子:
2.9
作者:
[Stefan Nagy;A. Nguyen-Tuong;Jason Hiser;J. Davidson;Matthew Hicks]
通讯作者:
Stefan Nagy;A. Nguyen-Tuong;Jason Hiser;J. Davidson;Matthew Hicks
DOI:
10.1145/3460120.3484787
发表时间:
2021-11
期刊:
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
影响因子:
--
作者:
[Stefan Nagy;A. Nguyen-Tuong;Jason Hiser;J. Davidson;Matthew Hicks]
通讯作者:
Stefan Nagy;A. Nguyen-Tuong;Jason Hiser;J. Davidson;Matthew Hicks
CCRI: Planning: Towards Building a Community Data Infrastructure for CyberSecurity Research
-
批准号:2016431
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2020
-
负责人:Jack Davidson
-
依托单位:
CC* Integration: Enhancement and deployment of LDM7 for scientific data distribution
-
批准号:1659174
-
项目类别:Standard Grant
-
资助金额:$100.0万
-
财政年份:2017
-
负责人:Jack Davidson
-
依托单位:
Collaborative Research: Stimulating Wide Interest in Computer Science Using Computer Security
-
批准号:0837609
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2009
-
负责人:Jack Davidson
-
依托单位:
CT-ISG: Robust and Efficient Tamper-Resistant Software
-
批准号:0716446
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2007
-
负责人:Jack Davidson
-
依托单位:
Collaborative Research: CRI: A Community Resource Development Project for a Retargetable and Reconfigurable Software Dynamic Translation Infrastructure
-
批准号:0551560
-
项目类别:Continuing Grant
-
资助金额:$10.68万
-
财政年份:2006
-
负责人:Jack Davidson
-
依托单位:
NGS: Collaborative Research: Adapting Program Code Continuously and Aggressively
-
批准号:0305144
-
项目类别:Continuing Grant
-
资助金额:$53.24万
-
财政年份:2003
-
负责人:Jack Davidson
-
依托单位:
NGS: Collaborative Research: Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation
-
批准号:0203956
-
项目类别:Standard Grant
-
资助金额:$16.0万
-
财政年份:2002
-
负责人:Jack Davidson
-
依托单位:
Experimental Partnership - Comprehensive Retargetable Embedded Systems Software Development Environment
-
批准号:0072043
-
项目类别:Continuing Grant
-
资助金额:$200.0万
-
财政年份:2000
-
负责人:Jack Davidson
-
依托单位:
Workshop to Promote Course/Curriculum Change Using C + + and the Closed Laboratory Model
-
批准号:9554715
-
项目类别:Standard Grant
-
资助金额:$9.13万
-
财政年份:1996
-
负责人:Jack Davidson
-
依托单位:
Compiler Infrastructure: Development of a HIL/LIL Framework for a National Compiler Infrastructure
-
批准号:9612756
-
项目类别:Continuing Grant
-
资助金额:$51.1万
-
财政年份:1996
-
负责人:Jack Davidson
-
依托单位:
Flexible, Seamless Optimization for High-Performance Processors
-
批准号:9214904
-
项目类别:Continuing Grant
-
资助金额:$20.95万
-
财政年份:1993
-
负责人:Jack Davidson
-
依托单位:
Instruction Set Design and Evaluation
-
批准号:8611653
-
项目类别:Continuing Grant
-
资助金额:$12.76万
-
财政年份:1987
-
负责人:Jack Davidson
-
依托单位:
海外基金