Physical Random Functions and Secure Hardware Architectures
Physical Random Functions and Secure Hardware Architectures
批准号:
0309562
负责人:
Srini Devadas
金额:
$35.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-09-01 至 2007-08-31
中文摘要
提案CCR-0309562标题:物理随机功能和安全硬件架构PI:Srinivas Devadas计算元素正在变得很小,分散和无人监督,并将重大责任放在他们身上。 介绍了物理随机函数(或物理不可克隆函数中的PUF),它是与物理设备建立共享秘密的防篡改方式。 它们依赖于设备之间不可避免的制造差异来为设备产生不可克隆的身份。 PUF可以直接用于认证识别应用,例如钥匙卡和智能卡。在目前的智能卡中,拥有智能卡的人可以通过许多有据可查的攻击之一提取其数字密钥信息来复制它。 由于芯片上有一个唯一的PUF,可以用来验证芯片,因此不需要数字密钥;芯片硬件本身就是密钥。为了实现更复杂的应用,引入了受控物理随机函数(CPUF),这是一种只能通过与PUF物理绑定的算法访问的PUF。 CPUF可用于在物理设备和远程用户之间建立共享秘密。 一旦建立,共享秘密可以用于实现广泛的应用,包括认证执行和知识产权保护。
英文摘要
Proposal CCR-0309562Title: Physical Random Functions and Secure Hardware ArchitecturesPI: Srinivas DevadasComputing elements are becoming small, disseminated and unsupervised, and significant responsibilities are being placed on them. Physical attacks present an increasing risk that must be dealt with.Physical Random Functions (or PUF as in Physical Unclonable Function), which are a tamper resistant way of establishing shared secrets with a physical device are introduced. They rely on the inevitable manufacturing variations between devices to produce an unclonable identity for a device. PUFs can be used directly for authenticated identification applications such as key cards and smart cards. In current smartcards, it is possible for someone who is in possession of the smartcard to produce a clone of it, by extracting its digital key information through one of many well-documented attacks. With a unique PUF on the smartcard that can be used to authenticate the chip, a digital key is not required; the smartcard hardware is itself the secret key.To enable more sophisticated applications, Controlled Physical Random Functions (CPUFs) which are PUFs that can only be accessed via an algorithm that is physically bound to the PUF in an inseparable way are introduced. CPUFs can be used to establish a shared secret between a physical device and a remote user. Once established, the shared secret can be used to enable a wide range of applications, including certified execution and intellectual property protection.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors
-
批准号:2115587
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2021
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Medium: Collaborative: Hardening Off-the-Shelf Software Against Side Channel Attacks
-
批准号:1955270
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2020
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Small: Design of Efficient, Horizontally-Scaling, and Strongly Anonymous Communication Networks
-
批准号:1813087
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
SPX: Collaborative Research: Distributed Database Management with Logical Leases and Hardware Transactional Memory
-
批准号:1822920
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
STARSS: Small: Trapdoor Computational Fuzzy Extractors
-
批准号:1523572
-
项目类别:Standard Grant
-
资助金额:$26.67万
-
财政年份:2015
-
负责人:Srini Devadas
-
依托单位:
TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security
-
批准号:1413920
-
项目类别:Continuing Grant
-
资助金额:$320.0万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
XPS: FULL: DSD: Collaborative Research: Moving the Abyss: Database Management on Future 1000-core Processors
-
批准号:1438967
-
项目类别:Standard Grant
-
资助金额:$35.04万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
TWC: Small: Ascend: Architecture for Secure Computation on Encrypted Data
-
批准号:1317763
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
EAGER: Collaborative: Holistic Security for Cloud Computing: Oblivious Computation
-
批准号:1347279
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
SHF: Small: Directoryless Shared Memory Using Execution Migration
-
批准号:1116372
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2011
-
负责人:Srini Devadas
-
依托单位:
SHF: Medium: Collaborative Research: Throughput-Driven Multi-Core Architecture and a Compilation System
-
批准号:0904598
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Srini Devadas
-
依托单位:
CT-ISG: Applications and Evolution of Trusted Platform Module Technology
-
批准号:0715680
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Srini Devadas
-
依托单位:
Security Protocols for Pervasive Computing Applications
-
批准号:0208631
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Srini Devadas
-
依托单位:
NSF CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors
-
批准号:9901628
-
项目类别:Continuing Grant
-
资助金额:$18.0万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
An Algorithmic Methodology for Validation of Mixed Hardware/Software Systems
-
批准号:9900757
-
项目类别:Continuing Grant
-
资助金额:$34.5万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
A Computer-Aided Design Methodology for Application-Specific Embedded Processors
-
批准号:9612632
-
项目类别:Continuing Grant
-
资助金额:$33.0万
-
财政年份:1996
-
负责人:Srini Devadas
-
依托单位:
NSF Young Investigator Award: Formal Methods for Hardware and Software Verification
-
批准号:9258376
-
项目类别:Continuing Grant
-
资助金额:$31.25万
-
财政年份:1992
-
负责人:Srini Devadas
-
依托单位:
海外基金