New Frontiers in Execution Integrity
Abstract
How can one computer gain confidence that another computer is executing, or has executed, aprogram as instructed? This is the problem of execution integrity, and is relevant to cloud computing,hardware manufacture, distributed systems, cryptocurrencies, blockchains, server operation, and high-assurance contexts. Closely related is the problem of verifiable outsourcing: you can ask a remote computer to perform a task, and you can have the same confidence in the remote computer’s output as if you had executed the job locally, on your hardware. This proposal describes an ambitious research program aimed at extending the applicability of techniques for execution integrity and verifiable outsourcing. We propose work on both special-purpose algorithms aimed at web servers and data analysis, and more general work on the underlying theoretical foundations.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Sep 19, 2018
- Source ID
- FA95501810421
Entities
People
- Michael Walfish
Organizations
- Air Force Office of Scientific Research
- New York University
- United States Air Force