课题基金 / 基金详情

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
CSR-AES-RCS:多线程程序中可扩展且高效的动态信息流跟踪
批准号:
0720516
负责人:
Xiangyu Zhang
金额:
$10.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-09-01 至 2009-08-31

项目摘要

项目成果

Xiangyu Zhang的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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: AI Model Debugging by Analyzing Model Internals with Python Program Analysis
  • 批准号:
    1910300
  • 项目类别:
    Standard Grant
  • 资助金额:
    $50.0万
  • 财政年份:
    2019
  • 负责人:
    Xiangyu Zhang
  • 依托单位:
EAGER: A Python Program Analysis Infrastructure to Facilitate Better Data Processing
  • 批准号:
    1748764
  • 项目类别:
    Standard Grant
  • 资助金额:
    $14.7万
  • 财政年份:
    2017
  • 负责人:
    Xiangyu Zhang
  • 依托单位:
CSR: Small: Elastic and Robust Cloud Programming
  • 批准号:
    1618923
  • 项目类别:
    Standard Grant
  • 资助金额:
    $48.55万
  • 财政年份:
    2016
  • 负责人:
    Xiangyu Zhang
  • 依托单位:
Travel Support For ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2014)
  • 批准号:
    1434610
  • 项目类别:
    Standard Grant
  • 资助金额:
    $2.0万
  • 财政年份:
    2014
  • 负责人:
    Xiangyu Zhang
  • 依托单位:
国内基金
海外基金
CK1δ/ε介导的AES的降解调控结直肠癌转移和干性的机制研究
  • 批准号:
    31870754
  • 项目类别:
    面上项目
  • 资助金额:
    59.0万元
  • 批准年份:
    2018
  • 负责人:
    王中原
  • 依托单位:
面向AES密钥扩展的抗功耗攻击掩码技术研究
  • 批准号:
    61602239
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    21.0万元
  • 批准年份:
    2016
  • 负责人:
    李阳
  • 依托单位:
具有自主产权的安诚嵌入式处理器上支持AES及GF(2^n)运算的指令扩展结构研究
  • 批准号:
    61373141
  • 项目类别:
    面上项目
  • 资助金额:
    79.0万元
  • 批准年份:
    2013
  • 负责人:
    樊海宁
  • 依托单位:
肝癌AES治疗体系中新型人源化双特异性抗体的研制