TWC: Breakthrough: Inspection Resistance in Cyber-Physical Systems

TWC:突破:网络物理系统中的检查阻力

基本信息

  • 批准号:
    1239567
  • 负责人:
  • 金额:
    $ 71.74万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2012
  • 资助国家:
    美国
  • 起止时间:
    2012-10-01 至 2017-09-30
  • 项目状态:
    已结题

项目摘要

As computing devices continue to be embedded in more and more physical devices, they are now privy to the most confidential information about our lives. The ability to safely keep a secret in memory is central to the vast majority of security systems, but storing and erasing these secrets is a difficult problem in the face of an attacker who can obtain unrestricted physical access to these devices and the underlying hardware. Depending on the memory technology, the very act of storing a 1 instead of a 0 can have physical side effects measurable even after the power has been cut. Through the development of a new class of architectures that measurably increase the difficulty of physical analysis this project is enabling systems that can be trusted even when physical control of the system is ceded to an adversary. Initial results indicate that the creation of an efficient scheme for memory protection is possible under which, even if an adversary is able to inspect the value of a stored bit with a probabilistic error of only 5%, the system will be able to prevent that adversary from learning any information about the original un-coded bits with 99.9999999999% probability. Over the long term this research will help to create the skills and tools that cyber-physical system engineers will need to develop pervasive trustworthy systems, and to ease the development of those mission critical systems that we all depend on for our safety and livelihood.
随着计算设备继续嵌入到越来越多的物理设备中,它们现在掌握了有关我们生活的最机密信息。在内存中安全保存秘密的能力是绝大多数安全系统的核心,但对于能够不受限制地物理访问这些设备和底层硬件的攻击者来说,存储和擦除这些秘密是一个难题。根据存储技术的不同,存储 1 而不是 0 的行为可能会产生可测量的物理副作用,即使在断电后也是如此。通过开发新型架构,显着增加物理分析的难度,该项目使系统即使在系统的物理控制权被交给对手时也可以信任。初步结果表明,可以创建一种有效的内存保护方案,在该方案下,即使对手能够以只有 5% 的概率误差检查存储位的值,系统也能够阻止该对手以 99.9999999999% 的概率学习有关原始未编码位的任何信息。从长远来看,这项研究将有助于创造网络物理系统工程师开发普遍可信系统所需的技能和工具,并简化我们所有人的安全和生计所依赖的关键任务系统的开发。

项目成果

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

Timothy Sherwood其他文献

Project VIRGO: creation of a surrogate companion for the elderly
VIRGO项目:为老年人创造一个代理伴侣
Gate-Level Information Flow Tracking for Security Lattices
安全网格的门级信息流跟踪
Energy Efficient Convolutions with Temporal Arithmetic
具有时间算法的节能卷积

Timothy Sherwood的其他文献

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

{{ truncateString('Timothy Sherwood', 18)}}的其他基金

Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories
合作研究:SHF:小型:在可满足性模理论中集成综合和优化
  • 批准号:
    2006542
  • 财政年份:
    2020
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Standard Grant
SHF: Medium: Quantifying and Designing Around Architectural Risk
SHF:中:围绕架构风险进行量化和设计
  • 批准号:
    1763699
  • 财政年份:
    2018
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Continuing Grant
SHF: Small: Exploring Architectural Support for Full-Stack Equational Reasoning in Critical Embedded Systems
SHF:小型:探索关键嵌入式系统中全栈方程推理的架构支持
  • 批准号:
    1717779
  • 财政年份:
    2017
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Standard Grant
TWC: Medium: Collaborative: Computational Blinking - Computer Architecture Techniques for Mitigating Side Channels
TWC:媒介:协作:计算闪烁 - 用于缓解侧通道的计算机体系结构技术
  • 批准号:
    1563935
  • 财政年份:
    2016
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Continuing Grant
SHF: Medium: Collaborative Research: Building Critical Systems with Verifiable Properties Using Gate Level Analysis
SHF:中:协作研究:使用门级分析构建具有可验证属性的关键系统
  • 批准号:
    1162187
  • 财政年份:
    2012
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Standard Grant
TC: Large: Collaborative Research: 3Dsec: Trustworthy System Security through 3-D Integrated Hardware
TC:大型:协作研究:3Dsec:通过 3D 集成硬件实现值得信赖的系统安全
  • 批准号:
    0910389
  • 财政年份:
    2010
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Standard Grant
Mimir: A Geometric Approach to Multi-dimensional Program Profiling Architectures
Mimir:多维程序分析架构的几何方法
  • 批准号:
    0702798
  • 财政年份:
    2007
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Continuing Grant
Collaborative Research: CT-T: Adaptive Security and Separation in Reconfigurable Hardware
合作研究:CT-T:可重构硬件中的自适应安全和分离
  • 批准号:
    0524771
  • 财政年份:
    2005
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Standard Grant
CAREER: Architectural Support for Online Security Analysis
职业:在线安全分析的架构支持
  • 批准号:
    0448654
  • 财政年份:
    2005
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Continuing Grant
Integrated Guided-Inquiry Laboratories with the use of HPLC Across Undergraduate Chemistry Curriculum
在本科化学课程中使用 HPLC 的综合引导探究实验室
  • 批准号:
    0311474
  • 财政年份:
    2003
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Standard Grant

相似国自然基金

屏障突破型原位线粒体基因递送系统用于治疗Leber遗传性视神经病变的研究
  • 批准号:
    82304416
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
创新联合体的形成及其对关键核心技术突破的作用机制研究
  • 批准号:
    72302216
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
重组创新视角下新兴共性技术识别及突破路径预测研究
  • 批准号:
    72374165
  • 批准年份:
    2023
  • 资助金额:
    41 万元
  • 项目类别:
    面上项目
微针突破皮肤序贯屏障用于多肽药物的高效递送机制研究
  • 批准号:
    82330112
  • 批准年份:
    2023
  • 资助金额:
    220 万元
  • 项目类别:
    重点项目
商业生态系统环境下基于场景化创新的企业关键技术突破及其创新获益研究
  • 批准号:
    72372125
  • 批准年份:
    2023
  • 资助金额:
    40 万元
  • 项目类别:
    面上项目

相似海外基金

信号類似性に着目した新理論の証明~圧縮センシング回路システムの限界突破への挑戦~
聚焦信号相似性的新理论证明 - 突破压缩传感电路系统极限的挑战 -
  • 批准号:
    24K02914
  • 财政年份:
    2024
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
高分子センサーによるシグナル増幅センシング:増幅計測の限界突破に向けて
使用聚合物传感器进行信号放大传感:突破放大测量的限制
  • 批准号:
    24K01536
  • 财政年份:
    2024
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
カルシウム恒常性制御を突破口とする神経筋変性疾患の掃討戦略
以钙稳态控制为突破口的根除神经肌肉退行性疾病的策略
  • 批准号:
    24K10649
  • 财政年份:
    2024
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
病原酵母による「トロイの木馬」腸管突破機構
致病酵母突破肠道“特洛伊木马”机制
  • 批准号:
    24K10198
  • 财政年份:
    2024
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
浸潤突起を介したバキュロウイルスの新たな中腸基底膜突破メカニズムの解明
阐明杆状病毒通过侵袭伪足穿透中肠基底膜的新机制
  • 批准号:
    24K08930
  • 财政年份:
    2024
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了