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.999999999%的概率。从长远来看,这项研究将有助于创造网络物理系统工程师开发普遍可信系统所需的技能和工具,并简化我们都依赖于我们的安全和生计的那些使命关键系统的开发。
项目成果
期刊论文数量(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
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
具有时间算法的节能卷积
- DOI:
10.1145/3620665.3640395 - 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Rhys Gretsch;Peiyang Song;A. Madhavan;Jeremy Lau;Timothy Sherwood - 通讯作者:
Timothy Sherwood
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
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
C-Path Scientific Breakthrough Conference: Addressing unmet needs and challenges in underserved drug development areas through collaborative partnerships
C-Path 科学突破会议:通过合作伙伴关系解决服务不足的药物开发领域未满足的需求和挑战
- 批准号:
10827777 - 财政年份:2023
- 资助金额:
$ 71.74万 - 项目类别:
A breakthrough mobile phone technology that aids in early detection of COPD
突破性手机技术有助于早期发现慢性阻塞性肺病
- 批准号:
10760409 - 财政年份: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)