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项目:为老年人创造一个代理伴侣
Analysis of performance versus security in hardware realizations of small elliptic curves for lightweight applications
  • DOI:
    10.1007/s13389-012-0039-x
  • 发表时间:
    2012-09-13
  • 期刊:
  • 影响因子:
    1.400
  • 作者:
    Vladimir Trujillo-Olaya;Timothy Sherwood;Çetin Kaya Koç
  • 通讯作者:
    Çetin Kaya Koç
Energy Efficient Convolutions with Temporal Arithmetic
具有时间算法的节能卷积
Gate-Level Information Flow Tracking for Security Lattices
安全网格的门级信息流跟踪

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

相似海外基金

Is to achieve a breakthrough in the problem of how to reliably control the many qubits in an errorfree and scalable way.
就是要在如何以无错误且可扩展的方式可靠地控制众多量子比特的问题上取得突破。
  • 批准号:
    2906479
  • 财政年份:
    2024
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Studentship
Breakthrough mathematics for dynamical systems and data
动力系统和数据的突破性数学
  • 批准号:
    FL230100088
  • 财政年份:
    2024
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Australian Laureate Fellowships
A breakthrough mobile phone technology that aids in early detection of COPD
突破性手机技术有助于早期发现慢性阻塞性肺病
  • 批准号:
    10760409
  • 财政年份:
    2023
  • 资助金额:
    $ 71.74万
  • 项目类别:
C-Path Scientific Breakthrough Conference: Addressing unmet needs and challenges in underserved drug development areas through collaborative partnerships
C-Path 科学突破会议:通过合作伙伴关系解决服务不足的药物开发领域未满足的需求和挑战
  • 批准号:
    10827777
  • 财政年份:
    2023
  • 资助金额:
    $ 71.74万
  • 项目类别:
Breakthrough for Practical Application of Magnetically Levitated Bearingless Motors Using Unequal Tooth Pitch Core
不等齿距铁芯磁悬浮无轴承电机实际应用的突破
  • 批准号:
    23H01367
  • 财政年份:
    2023
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Possibility of health tourism as a breakthrough approach toward regional development in post-disaster coastal environments
健康旅游作为灾后沿海环境区域发展突破性途径的可能性
  • 批准号:
    23K17098
  • 财政年份:
    2023
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Antimicrobial Resistance: Breakthrough Compound Discovery through Mechanistic Studies combined with Bicycle Technology and Target Validation
抗菌素耐药性:通过机理研究结合自行车技术和目标验证实现突破性化合物发现
  • 批准号:
    BB/Y003306/1
  • 财政年份:
    2023
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Research Grant
Modulation of Protein S-nitrosylation Signaling as a Potential Therapeutic Breakthrough in Rheumatoid Arthritis
调节蛋白质 S-亚硝基化信号传导是类风湿关节炎的潜在治疗突破
  • 批准号:
    10817318
  • 财政年份:
    2023
  • 资助金额:
    $ 71.74万
  • 项目类别:
Enhanced BReast and cErvical cAncer screening in Kenya THROUGH implementation science research and training (The BREAKTHROUGH Center)
通过实施科学研究和培训,肯尼亚加强了乳腺癌和宫颈癌筛查(突破中心)
  • 批准号:
    10738131
  • 财政年份:
    2023
  • 资助金额:
    $ 71.74万
  • 项目类别:
Breakthrough of turbulent transport mechanism of self-burning plasma by high energy ion and tubulence analysis
高能离子与湍流分析突破自燃等离子体湍流输运机制
  • 批准号:
    23H01160
  • 财政年份:
    2023
  • 资助金额:
    $ 71.74万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了