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其他文献
Investigating self-supervised learning for lyrics recognition
研究歌词识别的自我监督学习
- DOI:
10.48550/arxiv.2209.12702 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Xiangyu Zhang;Zhanhong He;Shuyu Li;R. Togneri;Leibny Paola García - 通讯作者:
Leibny Paola García
Experimental investigation on the combined effects of mechano-chemical and ultrasonic vibration in titanium alloy grinding
钛合金磨削中力化学与超声振动联合作用的实验研究
- DOI:
10.1016/j.jmapro.2024.05.049 - 发表时间:
2024-07-01 - 期刊:
- 影响因子:6.2
- 作者:
Tian Lan;P. Feng;Jianfu Zhang;Xiangyu Zhang;Zhongpeng Zheng;Jianjian Wang - 通讯作者:
Jianjian Wang
High-protein diets increase cardiovascular risk by activating macrophage mTOR to suppress mitophagy
高蛋白饮食通过激活巨噬细胞 mTOR 抑制线粒体自噬增加心血管风险
- DOI:
10.1038/s42255-019-0162-4 - 发表时间:
2020-01-01 - 期刊:
- 影响因子:20.8
- 作者:
Xiangyu Zhang;Ismail Sergin;T. Evans;Se;Astrid Rodriguez;Divya Kapoor;Sunny Chen;Eric Song;Karyn B. Holloway;J. Crowley;S. Epelman;C. Weihl;A. Diwan;Daping Fan;B. Mittendorfer;N. Stitziel;J. Schilling;I. Lodhi;Babak Razani - 通讯作者:
Babak Razani
A More Reliable and Sensitive Overcurrent Detection Method in DC Breaker Surge Current Applications via VGE as a Desaturation Precursor
直流断路器浪涌电流应用中通过 VGE 作为去饱和前驱的更可靠、更灵敏的过流检测方法
- DOI:
10.1109/tpel.2023.3237771 - 发表时间:
2023-04-01 - 期刊:
- 影响因子:6.7
- 作者:
Jing;Guishu Liang;Lei Qi;Xiangyu Zhang - 通讯作者:
Xiangyu Zhang
Water-Induced Structural Evolution of LaTMSi Ternary Intermetallic Electrides
LaTMSi 三元金属间化合物的水诱导结构演化
- DOI:
10.1021/acs.chemmater.2c03257 - 发表时间:
2023-03-01 - 期刊:
- 影响因子:8.6
- 作者:
Yongfang Sun;Huan Ma;Yueyue Jiao;Yun;Xiaoze Yuan;Xiangyu Zhang;Fei Wang;Dongdong Xiao;Yi Zhi Wang;Dachao Hong;Yuwei Zhou;Lin Gu;Yong Yang;Yong;X. Wen - 通讯作者:
X. Wen
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
CAREER: Scalable Dynamic Program Reasoning
职业:可扩展的动态程序推理
- 批准号:
0845870 - 财政年份:2009
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
CSR: Small: Automated Software Failure Causal Path Computation
CSR:小:自动化软件故障因果路径计算
- 批准号:
0917007 - 财政年份:2009
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
CRI:IAD 用于生成、存储和分析程序执行跟踪的高级基础设施
- 批准号:
0708464 - 财政年份:2007
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
相似国自然基金
土壤-果蔬中重金属元素的微型液体阴极辉光放电光谱信号增强机理与高精度检测研究
- 批准号:21864022
- 批准年份:2018
- 资助金额:40.0 万元
- 项目类别:地区科学基金项目
CK1δ/ε介导的AES的降解调控结直肠癌转移和干性的机制研究
- 批准号:31870754
- 批准年份:2018
- 资助金额:59.0 万元
- 项目类别:面上项目
面向AES密钥扩展的抗功耗攻击掩码技术研究
- 批准号:61602239
- 批准年份:2016
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
液相阴极辉光放电原子发射光谱快速检测水中重金属元素的方法研究
- 批准号:21567025
- 批准年份:2015
- 资助金额:42.0 万元
- 项目类别:地区科学基金项目
具有自主产权的安诚嵌入式处理器上支持AES及GF(2^n)运算的指令扩展结构研究
- 批准号:61373141
- 批准年份:2013
- 资助金额:79.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
暗号技術に対する機械学習や深層学習を用いた安全性評価のための攻撃手法の提案
针对密码技术利用机器学习和深度学习进行安全评估的攻击方法的提出
- 批准号:
21K11890 - 财政年份:2021
- 资助金额:
$ 10万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
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
代数学を用いた暗号、符号、擬似乱数のための離散数学研究
使用代数进行密码学、代码和伪随机数的离散数学研究
- 批准号:
20K03713 - 财政年份:2020
- 资助金额:
$ 10万 - 项目类别:
Grant-in-Aid for Scientific Research (C)