Realizing the Promise of Proof-Based Verifiable Computation

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?

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 24, 2019
Accession Number
AD1085970

Entities

People

  • Andrew Blumberg
  • Michael Walfish

Organizations

  • New York University
  • University of Texas at Austin

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Applied Mathematics
  • Cells
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Cryptography
  • Cybersecurity
  • Data Analysis
  • Data Set
  • Data Sets
  • Databases
  • Digital Data
  • Dimensionality Reduction
  • Electronic Mail
  • Genetics
  • Geometry
  • Models
  • Operating Systems
  • Point Clouds
  • Security Protocols
  • Web Applications

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Cybersecurity.
  • Distributed Systems and Data Platform Development
  • Systems Analysis and Design