TC: Large: Collaborative Research: 3Dsec: Trustworthy System Security through 3-D Integrated Hardware
TC: Large: Collaborative Research: 3Dsec: Trustworthy System Security through 3-D Integrated Hardware
批准号:
0910389
负责人:
Timothy Sherwood
金额:
$43.62万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-03-01 至 2014-02-28
中文摘要
虽然用于计算和数据存储的硬件资源现在很丰富,但经济因素阻止了专门的硬件安全机制集成到商品部件中。系统所有者在开发廉价、快速的商品微处理器的需求和确保关键安全特性的需求之间左右为难。本研究将探索一种新的方法,在制造后增加商品硬件,以增强安全操作。基本的方法是在现有的集成电路上添加一个单独的硅层,容纳选择的安全功能。这种3-D集成从底层计算硬件中实现了安全策略执行的功能和经济性。因此,安全增强是仅适用于需要它们的系统的制造选项,这解决了经济困境。我们计划确定一个最小的和可实现的一组电路级安全功能,使这种方法,可以明智地控制由软件层。这将大大有助于降低软件的复杂性往往与安全机制和系统漏洞。这项研究介绍了一个全新的方法,将安全机制纳入硬件,并有可能显着改变经济的可信系统。通过合作和教育活动将产生更广泛的影响。研究生和本科生的研究人员将把知识传授给未来的教师、研究人员和信息保障专业人员;项目出版物将为嵌入式系统和硬件设计社区提供直接的技术转让。
英文摘要
While hardware resources for computation and data storage are now abundant,economic factors prevent specialized hardware security mechanisms from beingintegrated into commodity parts. System owners are caught between the need to exploitcheap, fast, commodity microprocessors and the need to ensure that critical securityproperties hold.This research will explore a novel way to augment commodity hardware after fabricationto enhance secure operation. The basic approach is to add a separate silicon layer,housing select security features, onto an existing integrated circuit. This 3-D Integrationdecouples the function and economics of security policy enforcement from theunderlying computing hardware. As a result, security enhancements are manufacturingoptions applicable only to those systems that require them, which resolves theeconomic quandary. We plan to identify a minimal and realizable set of circuit-levelsecurity capabilities enabled by this approach, which can be judiciously controlled bythe software layers. This will significantly assist in reducing both the software complexityoften associated with security mechanisms and system vulnerabilities.This research introduces a fundamentally new method to incorporate securitymechanisms into hardware and has the potential to significantly shift the economics oftrustworthy systems. A broader impact will result through collaborative and educationalactivities. Graduate and undergraduate student research associates will transferknowledge to future teachers, researchers and Information Assurance professionals;and project publications will provide direct technical transfer to the embedded-systemsand hardware-design communities.
期刊论文(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
-
依托单位:
TWC: Breakthrough: Inspection Resistance in Cyber-Physical Systems
-
批准号:1239567
-
项目类别:Standard Grant
-
资助金额:$71.74万
-
财政年份:2012
-
负责人: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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于水稻穗粒数关键基因LARGE2提高作物产量的探索与应用
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:黄洛将
-
依托单位:
水稻穗粒数调控关键因子LARGE6的分子遗传网络解析
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:黄洛将
-
依托单位:
量子自旋液体中拓扑拟粒子的性质:量子蒙特卡罗和新的large-N理论
-
批准号:12074246
-
项目类别:面上项目
-
资助金额:62.0万元
-
批准年份:2020
-
负责人:Yoshitomo Kamiya
-
依托单位:
甘蓝型油菜Large Grain基因调控粒重的分子机制研究
-
批准号:31972875
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:石江华
-
依托单位:
Large PB/PB小鼠 视网膜新生血管模型的研究
-
批准号:30971650
-
项目类别:面上项目
-
资助金额:8.0万元
-
批准年份:2009
-
负责人:周旻
-
依托单位:
基因discs large在果蝇卵母细胞的后端定位及其体轴极性形成中的作用机制
-
批准号:30800648
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2008
-
负责人:于玲珠
-
依托单位:
LARGE基因对口腔癌细胞中α-DG糖基化及表达的分子调控
-
批准号:30772435
-
项目类别:面上项目
-
资助金额:29.0万元
-
批准年份:2007
-
负责人:尚政军
-
依托单位: