ITR: A Hardware/Compiler Co-Design Approach to Software Protection

ITR:一种硬件/编译器协同设计的软件保护方法

基本信息

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

项目摘要

ITR: A Compiler-Hardware Co-Design Approach to Software ProtectionPI's: Rahul Simha, Bhagi Narahari, Alok Choudhary, Nasir MemonAbstract:The growing area of software protection aims to address the problems of code understanding and code tampering along with related problems such as authorization. This project will combine novel techniques in the areas of compilers, architecture, and software security to provide a new, efficient, and tunable approach to some problems in software protection. The goal is to address a broad array of research issues that will ultimately enable design tools such as compilers to assist system designers in managing the tradeoffs between security and performance.The main idea behind the proposed approach is to hide code sequences (keys) within instructions in executables that are then interpreted by supporting FPGA (Field Programmable Gate Array) hardware to provide both a "language" (the code sequences) and a "virtual machine within a machine" (the FPGA) that will allow designers considerable flexibility in providing software protection. Thus, by using long sequences and PKI to exchange a secret key with the FPGA while also encrypting the executable with that secret key, a system can be positioned at the high-security (but low-performance) end of the spectrum. Similarly, as will be explained in the proposal, by using shorter sequences and selective encryption, one can achieve high-performance with higher security than is possible with systems that rely only on obscurity.
ITR:软件保护的硬件协同设计方法PI's:Rahul Simha,Bhagi Narahari,Alok Choudhary,Nasir Memon摘要:软件保护领域的不断增长旨在解决代码理解和代码篡改的问题,沿着相关问题,如授权。本计画将结合联合收割机在编译器、架构、软体安全等领域的新技术,提供一种新的、有效的、可调整的方法来解决软体保护中的一些问题。目标是解决一系列广泛的研究问题,最终使编译器等设计工具能够帮助系统设计人员管理安全性和性能之间的权衡。所提出的方法背后的主要思想是将代码序列(密钥)隐藏在可执行程序中的指令中,然后通过支持FPGA来解释这些指令(现场可编程门阵列)硬件提供“语言”(代码序列)和“机器中的虚拟机”(FPGA),这将使设计人员在提供软件保护方面具有相当大的灵活性。因此,通过使用长序列和PKI与FPGA交换密钥,同时还使用该密钥加密可执行文件,系统可以定位在频谱的高安全性(但低性能)端。类似地,如将在提案中所解释的,通过使用较短的序列和选择性加密,可以实现比仅依赖于模糊性的系统更高安全性的高性能。

项目成果

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

Rahul Simha其他文献

Undergraduate Computer Science Curricula
本科计算机科学课程
  • DOI:
    10.1145/3624729
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    22.7
  • 作者:
    Rahul Simha;Amruth N. Kumar;Rajendra K. Raj
  • 通讯作者:
    Rajendra K. Raj
Using biologically hierarchical modular architecture for explainable, tunable, generalizable, spatial AI
使用生物分层模块化架构实现可解释、可调节、可泛化的空间人工智能
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Nelson Jaimes;C. Zeng;Rahul Simha
  • 通讯作者:
    Rahul Simha
Computer Science Curricula 2023
2023 年计算机科学课程
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Amruth N. Kumar;Rajendra K. Raj;S. Aly;Monica D. Anderson;Brett A. Becker;Richard L. Blumenthal;Eric Eaton;Susan L. Epstein;Michael Goldweber;Pankaj Jalote;Douglas Lea;Michael Oudshoorn;Marcelo Pias;Susan Reiser;Christian Servin;Rahul Simha;Titus Winters;Qiao Xiang
  • 通讯作者:
    Qiao Xiang
Simulated N-Body: New Particle Physics-Based Heuristics for a Euclidean Location-Allocation Problem
  • DOI:
    10.1023/a:1026561511574
  • 发表时间:
    2001-01-01
  • 期刊:
  • 影响因子:
    1.400
  • 作者:
    Rahul Simha;Weidong Cai;Valentin Spitkovsky
  • 通讯作者:
    Valentin Spitkovsky

Rahul Simha的其他文献

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

{{ truncateString('Rahul Simha', 18)}}的其他基金

I-Corps: Blockchain-powered hybrid platform for seamless and interoperable medical image sharing
I-Corps:区块链驱动的混合平台,用于无缝和可互操作的医疗图像共享
  • 批准号:
    2335417
  • 财政年份:
    2023
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
Improving Teaching and Learning in Computer Science Using Structured Post-Exam Interviews and Remediation
利用结构化考后访谈和补救措施改善计算机科学的教学
  • 批准号:
    2141705
  • 财政年份:
    2022
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
Collaborative Research: A Data-Driven Employer-Academia Partnership for Continual Computing Curricular Change
协作研究:数据驱动的雇主-学术界合作伙伴关系,以实现持续的计算课程变革
  • 批准号:
    2110815
  • 财政年份:
    2021
  • 资助金额:
    $ 100万
  • 项目类别:
    Continuing Grant
Conference to Explore Mechanisms to Gather Annual Feedback from Computing Professionals for Continuous Improvement of Computer Science Curricula
探索收集计算机专业人员年度反馈以不断改进计算机科学课程的机制的会议
  • 批准号:
    1933975
  • 财政年份:
    2020
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
EXTREEMS-QED: GW Mathematics and Statistics Training, Education, & Research (MASTER)
EXTREEMS-QED:GW 数学和统计培训、教育、
  • 批准号:
    1406984
  • 财政年份:
    2014
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
WIDER:Planning: GRASP: GW Reform and Advancement of STEM-education Practices
WIDER:规划:GRASP:GW 改革和 STEM 教育实践的进步
  • 批准号:
    1347516
  • 财政年份:
    2013
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
Collaborative Research: CT-M: Hardware Containers for Software Components
合作研究:CT-M:软件组件的硬件容器
  • 批准号:
    0830910
  • 财政年份:
    2009
  • 资助金额:
    $ 100万
  • 项目类别:
    Continuing Grant
MRI: Acquisition of Research Infrastructure for Distributed Sensor Applications in the Home of the Future
MRI:为未来家庭的分布式传感器应用购买研究基础设施
  • 批准号:
    0216137
  • 财政年份:
    2002
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
Electronic Commerce Coursework in Computer Science
计算机科学电子商务课程
  • 批准号:
    0088470
  • 财政年份:
    2001
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
Improving the Cost-Effectiveness of WDM Optical Networks
提高 WDM 光网络的成本效益
  • 批准号:
    0096277
  • 财政年份:
    2000
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant

相似海外基金

CRII: SaTC: Reliable Hardware Architectures Against Side-Channel Attacks for Post-Quantum Cryptographic Algorithms
CRII:SaTC:针对后量子密码算法的侧通道攻击的可靠硬件架构
  • 批准号:
    2348261
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343607
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
  • 批准号:
    2403134
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
SWIFT-SAT: Unlimited Radio Interferometry: A Hardware-Algorithm Co-Design Approach to RAS-Satellite Coexistence
SWIFT-SAT:无限无线电干涉测量:RAS 卫星共存的硬件算法协同设计方法
  • 批准号:
    2332534
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
CAREER: Data-Driven Hardware and Software Techniques to Enable Sustainable Data Center Services
职业:数据驱动的硬件和软件技术,以实现可持续的数据中心服务
  • 批准号:
    2340042
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: An evaluation framework and methodology to streamline Hardware Performance Counters as the next-generation malware detection system
SaTC:核心:小型:简化硬件性能计数器作为下一代恶意软件检测系统的评估框架和方法
  • 批准号:
    2327427
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Continuing Grant
Hardware Security Module for secure delegated Quantum Cloud Computing
用于安全委托量子云计算的硬件安全模块
  • 批准号:
    EP/Z000564/1
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Research Grant
Hardware-aware Network Architecture Search under ML Training workloads
ML 训练工作负载下的硬件感知网络架构搜索
  • 批准号:
    2904511
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Studentship
SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design Approach
SHF:小:使用硬件/软件协同设计方法解决内存批量操作的大页面问题
  • 批准号:
    2400014
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
Collaborative Research: Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
合作研究:用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343606
  • 财政年份:
    2024
  • 资助金额:
    $ 100万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了