Accession Number:

AD1085970

Title:

Realizing the Promise of Proof-Based Verifiable Computation

Descriptive Note:

[Technical Report, Final Report]

Corporate Author:

NEW YORK UNIVTEXAS UNIV AT AUSTIN

Personal Author(s):

• Walfish, Michael
• Blumberg, Andrew

Report Date:

2019-04-24

Pagination or Media Count:

10

Abstract:

This project designed and built systems that allow people to get useful work out of computers and components without having to trust, that is assume, that those components work properly. We have answered questions such as how can we integrate custom hardware into a system, if the hardware manufacturer may be adversarial How can a client outsource a computation to servers, if the servers are not guaranteed to return the right answer How can we use peripheral devices with our computers, when those devices may be malicious, given that commodity computers are designed to trust physically connected hardware

Descriptors:

• data analysis
• computers
• digital data
• computer programs
• algorithms
• data set
• dimensionality reduction
• cryptography
• point clouds
• computer programming
• electronic mail
• web applications
• computations
• cybersecurity
• databases
• geometry
• models
• operating systems
• security protocols
• abstracts

Subject Categories:

• Computer Systems Management and Standards
• Computer Hardware

Distribution Statement:

[A, Approved For Public Release]