TWC: Breakthrough: Inspection Resistance in Cyber-Physical Systems
TWC: Breakthrough: Inspection Resistance in Cyber-Physical Systems
批准号:
1239567
负责人:
Timothy Sherwood
金额:
$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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories
-
批准号:2006542
-
项目类别:Standard Grant
-
资助金额:$21.0万
-
财政年份:2020
-
负责人:Timothy Sherwood
-
依托单位:
SHF: Medium: Quantifying and Designing Around Architectural Risk
-
批准号:1763699
-
项目类别:Continuing Grant
-
资助金额:$90.0万
-
财政年份:2018
-
负责人:Timothy Sherwood
-
依托单位:
SHF: Small: Exploring Architectural Support for Full-Stack Equational Reasoning in Critical Embedded Systems
-
批准号:1717779
-
项目类别:Standard Grant
-
资助金额:$44.99万
-
财政年份:2017
-
负责人:Timothy Sherwood
-
依托单位:
TWC: Medium: Collaborative: Computational Blinking - Computer Architecture Techniques for Mitigating Side Channels
-
批准号:1563935
-
项目类别:Continuing Grant
-
资助金额:$39.92万
-
财政年份:2016
-
负责人:Timothy Sherwood
-
依托单位:
SHF: Medium: Collaborative Research: Building Critical Systems with Verifiable Properties Using Gate Level Analysis
-
批准号:1162187
-
项目类别:Standard Grant
-
资助金额:$79.99万
-
财政年份:2012
-
负责人:Timothy Sherwood
-
依托单位:
TC: Large: Collaborative Research: 3Dsec: Trustworthy System Security through 3-D Integrated Hardware
-
批准号:0910389
-
项目类别:Standard Grant
-
资助金额:$43.62万
-
财政年份:2010
-
负责人:Timothy Sherwood
-
依托单位:
Mimir: A Geometric Approach to Multi-dimensional Program Profiling Architectures
-
批准号:0702798
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2007
-
负责人:Timothy Sherwood
-
依托单位:
Collaborative Research: CT-T: Adaptive Security and Separation in Reconfigurable Hardware
-
批准号:0524771
-
项目类别:Standard Grant
-
资助金额:$60.39万
-
财政年份:2005
-
负责人:Timothy Sherwood
-
依托单位:
CAREER: Architectural Support for Online Security Analysis
-
批准号:0448654
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Timothy Sherwood
-
依托单位:
Integrated Guided-Inquiry Laboratories with the use of HPLC Across Undergraduate Chemistry Curriculum
-
批准号:0311474
-
项目类别:Standard Grant
-
资助金额:$6.7万
-
财政年份:2003
-
负责人:Timothy Sherwood
-
依托单位:
Integration of a GC-Ion Trap Mass Spectrometer into the Undergraduate Chemistry Curriculum
-
批准号:9851180
-
项目类别:Standard Grant
-
资助金额:$4.08万
-
财政年份:1998
-
负责人:Timothy Sherwood
-
依托单位:
海外基金