Collaborative Research: CT-T: A Vertical Systems Framework for Effective Defense against Memory-Based Attacks
合作研究:CT-T:有效防御基于内存的攻击的垂直系统框架
基本信息
- 批准号:0627749
- 负责人:
- 金额:$ 50万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2006
- 资助国家:美国
- 起止时间:2006-10-01 至 2011-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The security of national information infrastructures is undermined by constant malicious attacks exploiting vulnerabilities in systems software. Most existing attacks exploit memory-based flaws, such as stack or heap overflows, and format string vulnerabilities. Current defense mechanisms, either network- or host-based, are not sufficient against many advanced attacks such as polymorphic or metamorphic worm exploits. This project is to provide a comprehensive framework for detecting, analyzing, and exterminating such attacks. The PIs take an interdisciplinary approach, combining their expertise in computer architecture, computer and network security, programming languages, compilers, and software engineering to tackle this difficult problem. In particular, the PIs propose a layered defense and analysis framework that consists of: (1) an architecture layer for detecting and recovering from unknown attacks; (2) an analysis layer for diagnosing attacks and generating attack signatures; and (3) a testing layer for discovering and fixing unknown software vulnerabilities. The intellectual merit of this project will lie in the advanced techniques developed in this project to defend against unknown, large-scale memory-based attacks. This interdisciplinary project will allow an effective approach to tackle this problem and advance knowledge in each of the requisite disciplines with both systems concepts and advanced programming language and analysis techniques. The broader impact of this project is the potential for a more reliable and secure information systems infrastructure. This will have tremendous economical impact on society because of our growing reliance on information technologies. Research results from this project (such as systems, simulators, and tools) will be widely disseminated so that they can be further evaluated, enhanced, and adopted to benefit other researchers and the industry.
国家信息基础设施的安全受到持续不断的利用系统软件漏洞的恶意攻击的破坏。大多数现有攻击利用基于内存的缺陷,如堆栈或堆溢出和格式字符串漏洞。当前的防御机制,无论是基于网络的还是基于主机的,都不足以抵御许多高级攻击,如多态或变形蠕虫利用。该项目旨在为检测、分析和根除此类攻击提供一个全面的框架。私人投资经理采取跨学科的方法,结合他们在计算机体系结构、计算机和网络安全、编程语言、编译器和软件工程方面的专业知识来解决这一难题。特别是,PI提出了一个分层的防御和分析框架,该框架包括:(1)用于检测和恢复未知攻击的架构层;(2)用于诊断攻击和生成攻击特征的分析层;以及(3)用于发现和修复未知软件漏洞的测试层。该项目的智力价值将在于该项目中开发的先进技术,以防御未知的、基于内存的大规模攻击。这一跨学科项目将使解决这一问题的有效方法成为可能,并通过系统概念以及高级编程语言和分析技术增进每一门必要学科的知识。该项目的更广泛影响是有可能建立更可靠和更安全的信息系统基础设施。这将对社会产生巨大的经济影响,因为我们越来越依赖信息技术。该项目的研究成果(如系统、模拟器和工具)将被广泛传播,以便进一步评估、增强和采用它们,使其他研究人员和行业受益。
项目成果
期刊论文数量(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 }}
Zhendong Su其他文献
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
精炼的输入,降级的输出:编译器行为的反直觉世界
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Theodoros Theodoridis;Zhendong Su - 通讯作者:
Zhendong Su
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
扩展论文:用于测试静态类型实现的 API 驱动程序综合
- DOI:
10.48550/arxiv.2311.04527 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Thodoris Sotiropoulos;Stefanos Chaliasos;Zhendong Su - 通讯作者:
Zhendong Su
Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language Algot
比较本科生使用 Python 和视觉语言算法编程的认知负荷
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Sverrir Thorgeirsson;Theo B. Weidmann;Karl;Zhendong Su - 通讯作者:
Zhendong Su
Mutant Kras co-opts a proto-oncogenic enhancer network in inflammation-induced metaplastic progenitor cells to initiate pancreatic cancer.
- DOI:
https://doi.org/10.1038/s43018-020-00134-z - 发表时间:
2020 - 期刊:
- 影响因子:22.7
- 作者:
Yong Li;Yi He;Junya Peng;Zhendong Su;Zeyao Li;Bingjie Zhang;Jing Ma;Meilian Zhuo;Di Zou;Xinde Liu;Xinhong Liu;Wenze Wang;Dan Huang;Mengyue Xu;Jianbin Wang;Haiteng Deng;Jing Xue;Wei Xie;Xun Lan;Mo Chen;Yupei Zhao;Wenming Wu;Charles J. david - 通讯作者:
Charles J. david
Cited2 suppresses tumor formation and metastasis of neuroblastoma through inhibition of the CBP/p300-β-catenin-Sox9 axis
Cited2 通过抑制 CBP/p300-β-catenin-Sox9 轴来抑制神经母细胞瘤的肿瘤形成和转移
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Satoshi Kishida;Dongliang Cao;Peng Huang;Zhendong Su;Ichiro Takeuchi;Masato Nakaguro;Shoma Tsubota;Atsushi Narita;Yinyan Xu;Yasuko Yoshida;Yoshiyuki Takahashi;Kenji Kadomatsu - 通讯作者:
Kenji Kadomatsu
Zhendong Su的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Zhendong Su', 18)}}的其他基金
SHF: Small: Testing and Analysis for Reliable Numerical Software
SHF:小型:可靠数值软件的测试和分析
- 批准号:
1618158 - 财政年份:2016
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Compiler Validation via Equivalence Modulo Inputs
SHF:小型:通过等效模输入进行编译器验证
- 批准号:
1528133 - 财政年份:2015
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
EAGER: Toward Numerically Robust Software
EAGER:迈向数值稳健的软件
- 批准号:
1349528 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
TWC:小型:协作:基于相似性的程序分析以消除漏洞
- 批准号:
1319187 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Reusing Debugging Knowledge
SHF:小:重用调试知识
- 批准号:
1117603 - 财政年份:2011
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
TC: Small: Runtime and Static Analysis for Web Application Security
TC:小型:Web 应用程序安全的运行时和静态分析
- 批准号:
0917392 - 财政年份:2009
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Program Analysis for Reliable Numerical Software
可靠数值软件的程序分析
- 批准号:
0702622 - 财政年份:2007
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
CAREER: Reliability and Security of Database and Web Applications
职业:数据库和 Web 应用程序的可靠性和安全性
- 批准号:
0546844 - 财政年份:2006
- 资助金额:
$ 50万 - 项目类别:
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: Districts Helping Districts: Scaling Inclusive CT Pathways
合作研究:地区帮助地区:扩大包容性 CT 路径
- 批准号:
2219350 - 财政年份:2022
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: Districts Helping Districts: Scaling Inclusive CT Pathways
合作研究:地区帮助地区:扩大包容性 CT 路径
- 批准号:
2219351 - 财政年份:2022
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: Uncovering the Multiscale Determinants of Atypical Femoral Fracture using MRI and CT-Based Modeling
合作研究:利用 MRI 和 CT 建模揭示非典型股骨骨折的多尺度决定因素
- 批准号:
2025923 - 财政年份:2020
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: Uncovering the Multiscale Determinants of Atypical Femoral Fracture using MRI and CT-Based Modeling
合作研究:利用 MRI 和 CT 建模揭示非典型股骨骨折的多尺度决定因素
- 批准号:
2026906 - 财政年份:2020
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
RAPID: Collaborative Research: Independent Component Analysis Inspired Statistical Neural Networks for 3D CT Scan Based Edge Screening of COVID-19
RAPID:协作研究:独立成分分析启发的统计神经网络,用于基于 3D CT 扫描的 COVID-19 边缘筛查
- 批准号:
2027539 - 财政年份:2020
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative research: A histological and CT study of midfacial growth trajectories in subadult primates
合作研究:亚成年灵长类动物中面部生长轨迹的组织学和 CT 研究
- 批准号:
1728263 - 财政年份:2016
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: Iodine-enhanced micro-CT Imaging: Repeated Measures Design to Improve Visualization of Vertebrate Soft-tissue Anatomy
合作研究:碘增强显微 CT 成像:重复测量设计以改善脊椎动物软组织解剖学的可视化
- 批准号:
1450850 - 财政年份:2015
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
Collaborative Research: Iodine-enhanced micro-CT Imaging: Repeated Measures Design to Improve Visualization of Vertebrate Soft-tissue Anatomy
合作研究:碘增强显微 CT 成像:重复测量设计以改善脊椎动物软组织解剖学的可视化
- 批准号:
1450842 - 财政年份:2015
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
CT-ISG: Collaborative Research: Towards Trustworthy Database Systems
CT-ISG:协作研究:迈向可信赖的数据库系统
- 批准号:
1243971 - 财政年份:2012
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative research: A histological and CT study of midfacial growth trajectories in subadult primates
合作研究:亚成年灵长类动物中面部生长轨迹的组织学和 CT 研究
- 批准号:
1231350 - 财政年份:2012
- 资助金额:
$ 50万 - 项目类别:
Standard Grant














{{item.name}}会员




