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的行为也可以测量物理副作用。通过开发一类新的体系结构,这些结构可以衡量地增加物理分析的难度,即使将系统的物理控制割让给对手,该项目也可以信任系统。 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.从长远来看,这项研究将有助于创建网络物理系统工程师将需要开发普遍可信赖的系统所需的技能和工具,并减轻我们所有人都为了安全和生计而依靠的关键任务关键系统的开发。
项目成果
期刊论文数量(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项目:为老年人创造一个代理伴侣
- DOI:
10.1145/1056808.1057108 - 发表时间:
2005 - 期刊:
- 影响因子:0
- 作者:
Timothy Sherwood;Farilee Mintz;Miroslava Vomela - 通讯作者:
Miroslava Vomela
Gate-Level Information Flow Tracking for Security Lattices
安全网格的门级信息流跟踪
- DOI:
10.1145/2676548 - 发表时间:
2014-11 - 期刊:
- 影响因子:1.4
- 作者:
Baolei Mao;Mohit Tiwari;Timothy Sherwood;Ryan Kastner - 通讯作者:
Ryan Kastner
Energy Efficient Convolutions with Temporal Arithmetic
具有时间算法的节能卷积
- DOI:
10.1145/3620665.3640395 - 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Rhys Gretsch;Peiyang Song;A. Madhavan;Jeremy Lau;Timothy Sherwood - 通讯作者:
Timothy Sherwood
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
相似国自然基金
领军企业创新链突破“卡脖子”技术的组织模式、实现路径和效能提升机制研究
- 批准号:72302117
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
面向关键核心技术突破的创新生态系统竞合关系动态治理研究
- 批准号:72302178
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
数字赋能下基于双重网络的海外并购整合与突破式创新:边界跨越视角
- 批准号:72373134
- 批准年份:2023
- 资助金额:41 万元
- 项目类别:面上项目
突破烷氧势阱:全新零价中过渡金属氢转化催化剂的理论设计
- 批准号:22373118
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
创新联合体的形成及其对关键核心技术突破的作用机制研究
- 批准号:72302216
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
高分子センサーによるシグナル増幅センシング:増幅計測の限界突破に向けて
使用聚合物传感器进行信号放大传感:突破放大测量的限制
- 批准号:
24K01536 - 财政年份:2024
- 资助金额:
$ 71.74万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
信号類似性に着目した新理論の証明~圧縮センシング回路システムの限界突破への挑戦~
聚焦信号相似性的新理论证明 - 突破压缩传感电路系统极限的挑战 -
- 批准号:
24K02914 - 财政年份: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)