CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
批准号:
0751961
负责人:
Rajiv Gupta
金额:
$18.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-09-01 至 2010-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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: CT-DDS -- Scalable Concolic Testing of Parallel Applications With Shared Dynamic Data Structures
-
批准号:2226448
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2022
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: MIGS -- Efficiently Evaluating Multiple Iterative Graph Queries
-
批准号:2002554
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2020
-
负责人:Rajiv Gupta
-
依托单位:
PPoSS: Planning: Dynamic Big Graph Store for High-Throughput and Secure Distributed Query Processing
-
批准号:2028714
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2020
-
负责人:Rajiv Gupta
-
依托单位:
TWC: Small: Collaborative: Improving Android Security with Dynamic Slicing
-
批准号:1617424
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2016
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: Transformations for Synergistic Analysis of Large Evolving Graphs
-
批准号:1524852
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2015
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: Memory Consistency -- Hardware, Compiler, and Programming Support
-
批准号:1318103
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2013
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Medium: Programmable Monitoring Framework for Multicore Systems
-
批准号:0963996
-
项目类别:Continuing Grant
-
资助金额:$57.68万
-
财政年份:2010
-
负责人:Rajiv Gupta
-
依托单位:
ExPert: dynamic analysis based fault location via Execution Perturbations
-
批准号:0810906
-
项目类别:Continuing Grant
-
资助金额:$19.61万
-
财政年份:2008
-
负责人:Rajiv Gupta
-
依托单位:
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
-
批准号:0719791
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
-
批准号:0708199
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
-
批准号:0751949
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
ST-CRTS: Dynamic Unmasking of Compiler Optimizations and Obfuscations
-
批准号:0753470
-
项目类别:Standard Grant
-
资助金额:$24.6万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
ST-CRTS: Dynamic Unmasking of Compiler Optimizations and Obfuscations
-
批准号:0541382
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2006
-
负责人:Rajiv Gupta
-
依托单位:
ExPert: dynamic analysis based fault location via Execution Perturbations
-
批准号:0614707
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Rajiv Gupta
-
依托单位:
ITR: Collaborative Research: Morphable Software Sevices: Self-Modifying Programs for Distributed Embedded Systems
-
批准号:0324969
-
项目类别:Continuing Grant
-
资助金额:$16.62万
-
财政年份:2003
-
负责人:Rajiv Gupta
-
依托单位:
Information Encoding for Energy Efficient Processor Design
-
批准号:0208756
-
项目类别:Continuing Grant
-
资助金额:$28.0万
-
财政年份:2002
-
负责人:Rajiv Gupta
-
依托单位:
ITR: Code and Data Segment Optimizations for Mixed Width Instruction Set Embedded Processor
-
批准号:0220334
-
项目类别:Continuing Grant
-
资助金额:$14.91万
-
财政年份:2002
-
负责人:Rajiv Gupta
-
依托单位:
Data Compression Techniques for Improving Memory Hierarchy Performance
-
批准号:0105355
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2001
-
负责人:Rajiv Gupta
-
依托单位:
On-line Avoidance of Monitoring Intrusion in Distributed Systems
-
批准号:9996362
-
项目类别:Standard Grant
-
资助金额:$7.35万
-
财政年份:1999
-
负责人:Rajiv Gupta
-
依托单位:
A Framework for Path and Resource Sensitive Optimizations
-
批准号:0096122
-
项目类别:Standard Grant
-
资助金额:$26.11万
-
财政年份:1999
-
负责人:Rajiv Gupta
-
依托单位:
国内基金
海外基金
登录
查看更多内容
CK1δ/ε介导的AES的降解调控结直肠癌转移和干性的机制研究
-
批准号:31870754
-
项目类别:面上项目
-
资助金额:59.0万元
-
批准年份:2018
-
负责人:王中原
-
依托单位:
面向AES密钥扩展的抗功耗攻击掩码技术研究
-
批准号:61602239
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2016
-
负责人:李阳
-
依托单位:
具有自主产权的安诚嵌入式处理器上支持AES及GF(2^n)运算的指令扩展结构研究
-
批准号:61373141
-
项目类别:面上项目
-
资助金额:79.0万元
-
批准年份:2013
-
负责人:樊海宁
-
依托单位:
肝癌AES治疗体系中新型人源化双特异性抗体的研制
-
批准号:30200330
-
项目类别:青年科学基金项目
-
资助金额:19.0万元
-
批准年份:2002
-
负责人:邢金良
-
依托单位:
AES、SH3BGR和calpain相关新信号通路及与心肌重塑关系的研究
-
批准号:30200106
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2002
-
负责人:姜立群
-
依托单位:
单个成矿流体包裹体元素组成的LA-ICP-MS-AES研究
-
批准号:49973026
-
项目类别:面上项目
-
资助金额:20.0万元
-
批准年份:1999
-
负责人:胡圣虹
-
依托单位:
加权增量卡尔曼滤波在ICP-AES中的应用
-
批准号:29475187
-
项目类别:面上项目
-
资助金额:5.5万元
-
批准年份:1994
-
负责人:沈兰荪
-
依托单位:
ICP-AES数字化谱信息的智能化处理
-
批准号:29275210
-
项目类别:面上项目
-
资助金额:4.0万元
-
批准年份:1992
-
负责人:沈兰荪
-
依托单位:
ICPAS 联用和联机技术及GD作为AES 及MS离子源的应用及
-
批准号:29235112
-
项目类别:重点项目
-
资助金额:18.0万元
-
批准年份:1992
-
负责人:杨凡原
-
依托单位:
ICP-AES中的一种新型光谱干扰校正方法的研究
-
批准号:28870228
-
项目类别:面上项目
-
资助金额:4.0万元
-
批准年份:1988
-
负责人:沈兰荪
-
依托单位: