Skip directly to content

Minimize RSR Award Detail

Research Spending & Results

Award Detail

Awardee:RECTOR & VISITORS OF THE UNIVERSITY OF VIRGINIA
Doing Business As Name:University of Virginia Main Campus
PD/PI:
  • Abhi Shelat
  • (434) 243-2145
  • a.shelat@northeastern.edu
Award Date:05/19/2016
Estimated Total Award Amount: $ 539,999
Funds Obligated to Date: $ 0
  • FY 2016=$0
Start Date:07/01/2016
End Date:07/31/2016
Transaction Type:Grant
Agency:NSF
Awarding Agency Code:4900
Funding Agency Code:4900
CFDA Number:47.070
Primary Program Source:040100 NSF RESEARCH & RELATED ACTIVIT
Award Title or Description:TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness
Federal Award ID Number:1565412
DUNS ID:065391526
Parent DUNS ID:065391526
Program:Secure &Trustworthy Cyberspace
Program Officer:
  • Sandip Kundu
  • (703) 292-7314
  • skundu@nsf.gov

Awardee Location

Street:P.O. BOX 400195
City:CHARLOTTESVILLE
State:VA
ZIP:22904-4195
County:Charlottesville
Country:US
Awardee Cong. District:05

Primary Place of Performance

Organization Name:University of Virginia
Street:P. O. Box 400195
City:Charlottesville
State:VA
ZIP:22904-4195
County:Charlottesville
Country:US
Cong. District:05

Abstract at Time of Award

This project addresses how semiconductor designers can verify the correctness of ICs that they source from possibly untrusted fabricators. Existing solutions to this problem are either based on legal and contractual obligations, or use post-fabrication IC testing, both of which are unsatisfactory or unsound. As a sound alternative, this project designs and fabricates verifiable hardware: ICs that provide proofs of their correctness for every input-output computation they perform in the field. These proofs must be efficiently verifiable in less time and energy than it takes to re-execute the computation itself. Building upon exciting recent theoretical and practical advances in verifiable outsourced computation for the cloud, this project develops new techniques that exploit the unique constraints and adversary models that relate to the verifiable hardware problem. In addition, the project also develops new practical approaches to the problem of general verifiable computation. As a broader impact, computing systems security is one of the greatest technological problems faced by society today. Verifiable hardware is an essential foundation for building future computing systems that are reliable and free from catastrophic security failures. The ultimate goal of this project is to make verifiable hardware practical and accessible for use in cryptographic and mission-critical hardware applications through open-source tools. The PIs are strongly committed to education and public outreach by producing widely-used course materials and taking active roles in outreach at minority-serving universities, community colleges, student organizations and high schools.

For specific questions or comments about this information including the NSF Project Outcomes Report, contact us.