CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs

CSR-AES-RCS:多线程程序中可扩展且高效的动态信息流跟踪

基本信息

  • 批准号:
    0720516
  • 负责人:
  • 金额:
    $ 10万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2007
  • 资助国家:
    美国
  • 起止时间:
    2007-09-01 至 2009-08-31
  • 项目状态:
    已结题

项目摘要

This project is aimed at developing scalable as well as highly efficient techniques for performing Dynamic Information Flow Tracking (DIFT) in multithreaded programs.The approach being developed is based upon dynamic instrumention of binaries to perform information flow tracking so that the application source code is not required and applications involving dynamically generated code can be handled. For achieving scalability, a novel strategy based upon the integration of checkpointing logging with fine-grained tracing is being used. Initially the program is executed with logging turned on. When DIFT needs to be performed, the execution of relevant execution intervals is replayed and fine-grained tracing is selectively performed.For achieving further efficiency, idle cores on a multicore processor are being used.Dynamically, a monitoring thread is generated by analyzing the application binary and the monitoring thread and the application execute concurrently on different cores.By achieving scalability and efficiency, the developed techniques can be applied to realistic programs such as server programs. The DIFT techniques are being evaluated in context of following applications: (debugging) bug location and avoidance; (security) software attack detection and location of vulnerability; and (data validation) maintaining lineage of scientific data.
本项目旨在开发可扩展的、高效的多线程程序动态信息流跟踪(DIFT)技术,该方法基于二进制文件的动态检测来实现信息流跟踪,从而不需要应用程序源代码,可以处理涉及动态生成代码的应用程序。为了实现可扩展性,一个新的策略的基础上集成的检查点日志与细粒度跟踪正在使用。最初程序在打开日志记录的情况下执行。当需要执行DIFT时,会重播相关执行间隔的执行,并选择性地进行细粒度跟踪。为了进一步提高效率,正在使用多核处理器上的空闲核心。动态地,通过分析所述应用二进制文件来生成监视线程,并且所述监视线程和所述应用在不同的核上并发地执行。可扩展性和效率,开发的技术可以应用到现实的程序,如服务器程序。目前正在下列应用背景下评估DIFT技术:(调试)缺陷定位和避免;(安全)软件攻击检测和脆弱性定位;(数据验证)维护科学数据的谱系。

项目成果

期刊论文数量(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 }}

Xiangyu Zhang其他文献

Fast Human Motion reconstruction from sparse inertial measurement units considering the human shape
考虑人体形状的稀疏惯性测量单元的快速人体运动重建
  • DOI:
    10.1038/s41467-024-46662-5
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    16.6
  • 作者:
    Xuan Xiao;Jianjian Wang;P. Feng;Ao Gong;Xiangyu Zhang;Jianfu Zhang
  • 通讯作者:
    Jianfu Zhang
Self-supervised Adversarial Training of Monocular Depth Estimation against Physical-World Attacks.
针对物理世界攻击的单目深度估计的自监督对抗训练。
Kinematics and Mechanics analysis of trap-jaw ant Odontomachus monticola
陷阱颌蚁 Odontomachus monticola 运动学与力学分析
  • DOI:
    10.1088/1742-6596/986/1/012029
  • 发表时间:
    2018-03
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Wenteng Hao;Guang Yao;Xiangyu Zhang;Deyuan Zhang
  • 通讯作者:
    Deyuan Zhang
Environment-Resistant Organohydrogel-Based Sensor Enables Highly Sensitive Strain, Temperature, and Humidity Responses
基于有机水凝胶的耐环境传感器可实现高度灵敏的应变、温度和湿度响应
  • DOI:
    10.1021/acsami.2c02997
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    9.5
  • 作者:
    Chengcheng Cai;Chiyu Wen;Weiqiang Zhao;Shu Tian;You Long;Xiangyu Zhang;Xiaojie Sui;Lei Zhang;Jing Yang
  • 通讯作者:
    Jing Yang
Effects of lemon essential oil and limonene on the progress of early caries:
柠檬精油和柠檬烯对早期龋齿进展的影响:
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    3
  • 作者:
    Li Ma;Jing Chen;Hui Han;Peiwen Liu;Huijuan Wang;Xiangyu Zhang
  • 通讯作者:
    Xiangyu Zhang

Xiangyu Zhang的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Xiangyu Zhang', 18)}}的其他基金

SHF: Small: AI Model Debugging by Analyzing Model Internals with Python Program Analysis
SHF:小:通过 Python 程序分析分析模型内部结构进行 AI 模型调试
  • 批准号:
    1910300
  • 财政年份:
    2019
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
EAGER: A Python Program Analysis Infrastructure to Facilitate Better Data Processing
EAGER:Python 程序分析基础设施,促进更好的数据处理
  • 批准号:
    1748764
  • 财政年份:
    2017
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
CSR: Small: Elastic and Robust Cloud Programming
CSR:小型:弹性且稳健的云编程
  • 批准号:
    1618923
  • 财政年份:
    2016
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
Travel Support For ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2014)
ACM SIGSOFT 软件工程基础研讨会 (FSE 2014) 的差旅支持
  • 批准号:
    1434610
  • 财政年份:
    2014
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Towards Automated Model Synthesis of Library and System Functions for Program-Environment Co-Analysis
SHF:小型:协作研究:面向程序-环境协同分析的库和系统功能的自动模型综合
  • 批准号:
    1320326
  • 财政年份:
    2013
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
SHF: Small: Reliable Data Processing by Dynamic Program Analysis
SHF:小型:通过动态程序分析进行可靠的数据处理
  • 批准号:
    1320444
  • 财政年份:
    2013
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
SHF: CSR: Small: Collaborative Research: Automated Model Synthesis of Library and System Functions for Program-Environment Co-Analysis
SHF:CSR:小型:协作研究:用于程序-环境协同分析的库和系统功能的自动模型合成
  • 批准号:
    1218993
  • 财政年份:
    2012
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
CSR: Small: Automated Software Failure Causal Path Computation
CSR:小:自动化软件故障因果路径计算
  • 批准号:
    0917007
  • 财政年份:
    2009
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
CAREER: Scalable Dynamic Program Reasoning
职业:可扩展的动态程序推理
  • 批准号:
    0845870
  • 财政年份:
    2009
  • 资助金额:
    $ 10万
  • 项目类别:
    Continuing Grant
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
CRI:IAD 用于生成、存储和分析程序执行跟踪的高级基础设施
  • 批准号:
    0708464
  • 财政年份:
    2007
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant

相似国自然基金

CK1δ/ε介导的AES的降解调控结直肠癌转移和干性的机制研究
  • 批准号:
    31870754
  • 批准年份:
    2018
  • 资助金额:
    59.0 万元
  • 项目类别:
    面上项目
面向AES密钥扩展的抗功耗攻击掩码技术研究
  • 批准号:
    61602239
  • 批准年份:
    2016
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
具有自主产权的安诚嵌入式处理器上支持AES及GF(2^n)运算的指令扩展结构研究
  • 批准号:
    61373141
  • 批准年份:
    2013
  • 资助金额:
    79.0 万元
  • 项目类别:
    面上项目
肝癌AES治疗体系中新型人源化双特异性抗体的研制
  • 批准号:
    30200330
  • 批准年份:
    2002
  • 资助金额:
    19.0 万元
  • 项目类别:
    青年科学基金项目
AES、SH3BGR和calpain相关新信号通路及与心肌重塑关系的研究
  • 批准号:
    30200106
  • 批准年份:
    2002
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
单个成矿流体包裹体元素组成的LA-ICP-MS-AES研究
  • 批准号:
    49973026
  • 批准年份:
    1999
  • 资助金额:
    20.0 万元
  • 项目类别:
    面上项目
加权增量卡尔曼滤波在ICP-AES中的应用
  • 批准号:
    29475187
  • 批准年份:
    1994
  • 资助金额:
    5.5 万元
  • 项目类别:
    面上项目
ICP-AES数字化谱信息的智能化处理
  • 批准号:
    29275210
  • 批准年份:
    1992
  • 资助金额:
    4.0 万元
  • 项目类别:
    面上项目
ICPAS 联用和联机技术及GD作为AES 及MS离子源的应用及
  • 批准号:
    29235112
  • 批准年份:
    1992
  • 资助金额:
    18.0 万元
  • 项目类别:
    重点项目
ICP-AES中的一种新型光谱干扰校正方法的研究
  • 批准号:
    28870228
  • 批准年份:
    1988
  • 资助金额:
    4.0 万元
  • 项目类别:
    面上项目

相似海外基金

Laser Ablation ICP Atomic Emission Spectrometry (LA-ICP-AES) for in situ microanalysis
用于原位微量分析的激光烧蚀 ICP 原子发射光谱法 (LA-ICP-AES)
  • 批准号:
    464364655
  • 财政年份:
    2021
  • 资助金额:
    $ 10万
  • 项目类别:
    Major Research Instrumentation
Urgent replacement of an ICP-AES for the measurement of trace metals in environmental samples
紧急更换 ICP-AES 来测量环境样品中的痕量金属
  • 批准号:
    RTI-2022-00119
  • 财政年份:
    2021
  • 资助金额:
    $ 10万
  • 项目类别:
    Research Tools and Instruments
FDA LFFM: Discipline-Chemistry - Analytical Track- Food Defense at CT AES
FDA LFFM:CT AES 的学科化学 - 分析跟踪 - 食品防护
  • 批准号:
    10170737
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
FDA LFFM: Discipline-Chemistry - Analytical Track- Animal Food Product Testing at CT AES
FDA LFFM:学科化学 - 分析跟踪 - CT AES 动物食品产品测试
  • 批准号:
    10170739
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
FDA LFFM: Discipline-Chemistry - Analytical Track- Human Food Product Testing at CT AES
FDA LFFM:学科化学 - 分析跟踪 - CT AES 的人类食品测试
  • 批准号:
    10170738
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
FDA LFFM: Discipline-Chemistry - Analytical Track- Animal Food Product Testing at CT AES
FDA LFFM:学科化学 - 分析跟踪 - CT AES 动物食品产品测试
  • 批准号:
    10445924
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
FDA LFFM: Discipline-Special Projects Analytical Track-Sample Collection at CT AES
FDA LFFM:CT AES 学科特殊项目分析跟踪样本收集
  • 批准号:
    10417779
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
FDA LFFM: Discipline- Special Projects - Analytical Track-NFSDX Integration or ORAPP Adoption at CT AES
FDA LFFM:学科 - 特别项目 - 分析跟踪 - NFSDX 集成或 CT AES 采用 ORAPP
  • 批准号:
    10170742
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
FDA LFFM: Discipline-Special Projects Analytical Track-Method Development and Method Validation at CT AES
FDA LFFM:CT AES 的学科特殊项目分析跟踪方法开发和方法验证
  • 批准号:
    10170743
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
FDA LFFM: Discipline-Special Projects Analytical Track-Sample Collection at CT AES
FDA LFFM:CT AES 学科特殊项目分析跟踪样本收集
  • 批准号:
    10170741
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了