TWC: TTP Option: Medium: Collaborative: ENCORE - ENhanced program protection through COmpiler-REwriter cooperation
TWC: TTP Option: Medium: Collaborative: ENCORE - ENhanced program protection through COmpiler-REwriter cooperation
批准号:
1513837
负责人:
Michael Franz
金额:
$61.93万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-07-01 至 2018-06-30
中文摘要
在广泛使用的软件中,几乎每天都有重大错误被发现。目前,这些漏洞让该软件的用户容易受到网络攻击,直到制造商最终提供修复程序——有时这需要令人难以接受的长时间。目前,以二进制代码形式分发的商业现成软件的用户无法自行修复这些漏洞,因为一旦软件被编译为二进制形式,就不容易更改。这个研究项目调查了使二进制软件的消费者端重写成为可能的技术。这种方法很有吸引力,因为它可以快速部署以响应新的威胁,而无需等待代码生产者,并且可以强制执行不受软件支持或不可预见的特定于用户的安全策略。开发人员。如果成功,这项研究将导致软件安全性的重大改进。消费者端二进制重写目前是不可行的,因为二进制文件不包含足够的信息来安全地完成它。另一方面,由于知识产权和软件盗版问题,代码制作者不希望透露太多代码的实现细节。这个项目的主要目标是使代码生成者能够用少量的元数据来补充他们的二进制代码,这些元数据可以在消费者端使用,以执行复杂的二进制重写,但不会泄露太多关于代码内部工作的额外信息,也不会使逆向工程比以前更容易。该项目将生成一个原型实现,包括一个生产者端元数据派生引擎和一个使用该元数据安全地执行二进制代码操作的消费者端二进制重写引擎。
英文摘要
Critical errors in widely used software are discovered almost every day. They currently leave users of that software vulnerable to cyber attacks until the manufacturer eventually supplies a fix - sometimes this takes unacceptably long. There currently is no way that users of commercial off-the-shelf software that is distributed as binary code can go and fix such vulnerabilities themselves, ex post facto, because software is not easily changeable once it has been compiled to binary form. This research project investigates techniques for enabling consumer-side rewriting of binary software. The approach is appealing because it can be deployed quickly in response to new threats, without waiting for code-producers, and can enforce consumer-specific security policies unsupported or unforeseen by the software?s developers. If successful, this research will lead to significant improvements in software security.Consumer-side binary rewriting is currently not feasible because binary files don't contain enough information to do it safely. On the other hand, code producers don't want to reveal too many implementation details of their code due to intellectual property and software piracy concerns. The key goal of this project is to enable code producers to supplement their binary code with a small amount of metadata that can be used, consumer-side, to perform sophisticated binary rewriting, but without disclosing much extra information about the internal working of the code and without making reverse-engineering much easier than before. The project will produce a prototype implementation consisting of a producer-side metadata derivation engine, and a consumer-side binary rewriting engine using this metadata to safely perform binary code manipulation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: EAGER: Cross-platform Election Advertising Transparency Initiative
-
批准号:2235007
-
项目类别:Standard Grant
-
资助金额:$1.99万
-
财政年份:2022
-
负责人:Michael Franz
-
依托单位:
TWC: Small: Hydra - Hybrid Defenses for Resilient Applications: Practical Approaches Towards Defense In Depth
-
批准号:1619211
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2016
-
负责人:Michael Franz
-
依托单位:
I-Corps: Hardening Programs Against Cyber Attacks
-
批准号:1439439
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2014
-
负责人:Michael Franz
-
依托单位:
SHF: CSR: Small: Fine-Grained Modularity and Reuse of VM Components
-
批准号:1117162
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2011
-
负责人:Michael Franz
-
依托单位:
TC: Medium: Collaborative Research:Next-Generation Infrastructure for Trustworthy Web Applications
-
批准号:0905684
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2009
-
负责人:Michael Franz
-
依托单位:
CT-ISG: MLS-VM: Design and Implementation of a Next-Generation Information-Centric Target Platform for Trusted Internet Computing
-
批准号:0627747
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Michael Franz
-
依托单位:
CSR-EHS: Virtual-Machine Techniques for Resource-Constrained Devices: Reconciling Reliability With Reusability and Low Development Costs in the Embedded Systems Space
-
批准号:0615443
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Michael Franz
-
依托单位:
ITR: Virtual Power for a Wireless Campus - A Vision of Ubiquitous Computing On Low-Cost Mobile Devices
-
批准号:0205712
-
项目类别:Continuing Grant
-
资助金额:$200.08万
-
财政年份:2002
-
负责人:Michael Franz
-
依托单位:
Practical Language-Based Security, From The Ground Up
-
批准号:0209163
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2002
-
负责人:Michael Franz
-
依托单位:
Design and Implementation of Component-Oriented Programming Languages
-
批准号:0105710
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2001
-
负责人:Michael Franz
-
依托单位:
Graph-Based Mobile-Code Representations for High-PerformancePortable Software
-
批准号:9901689
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:1999
-
负责人:Michael Franz
-
依托单位:
CAREER: Dynamic Optimization of Software Component Systems
-
批准号:9701400
-
项目类别:Continuing Grant
-
资助金额:$21.0万
-
财政年份:1997
-
负责人:Michael Franz
-
依托单位:
国内基金
海外基金
登录
查看更多内容
RNA结合蛋白TTP通过m5C甲基化修饰抑制非酒精性脂肪性肝炎的机制研究
-
批准号:82400739
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2024
-
负责人:肖平平
-
依托单位:
RNA结合蛋白TTP在阿尔茨海默病中的作用机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:
-
依托单位:
TTP和XPO4蛋白介导lncRNA转运在子宫颈鳞状细胞癌中功能及机制的研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2022
-
负责人:陈亮
-
依托单位:
平滑肌中TTP在血压调控中的作用及机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:52万元
-
批准年份:2022
-
负责人:张文程
-
依托单位:
TTP-KDM3A/CYP19A1调控滋养层细胞分化和侵袭的机制研究
-
批准号:82171669
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2021
-
负责人:林羿
-
依托单位:
心外膜脂肪组织TTP在病理性心肌肥厚发生发展中的作用及机制研究
-
批准号:82100279
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:李静媛
-
依托单位:
锌指蛋白TTP调控m6A抑制血吸虫病肝纤维化的机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:55万元
-
批准年份:2021
-
负责人:董惠芬
-
依托单位:
RNA结合蛋白TTP靶向抑制LncRNA-SNHG1保护帕金森病多巴胺神经元的机制研究
-
批准号:82101341
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:何骁征
-
依托单位:
外泌体miR-27a-3p—TTP—NLRP3环路介导的软骨细胞焦亡与滑膜炎正反馈互作在膝骨关节炎中的作用及机制研究
-
批准号:82002331
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:阮光峰
-
依托单位:
αIIb启动子调控血小板靶向表达ADAMTS13治疗CRISPR/Cas9构建的TTP小鼠模型的实验研究
-
批准号:82070117
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:骆晓峰
-
依托单位: