Realizing the promise of proof-based verifiable computation
Abstract
This proposal explores new methods to verify computational processes and their results when a user has to outsource his/her computations and inputs to a more powerful but potentially unreliable machine. The proposers will also seek new, promising concepts to make the present framework more practical, e.g., broad classes of computations and accounting for various programming constructs.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Mar 23, 2016
- Source ID
- FA95501510302
Entities
People
- Michael Walfish
Organizations
- Air Force Office of Scientific Research
- New York University
- United States Air Force