New frontiers in execution integrity
Abstract
This proposal describes an ambitious research program aimed at extending the applicability oftechniques for execution integrity and verifiable outsourcing. We propose three distinct researchdirections: novel solutions to the efficient server audit problem, which guarantees correct executionof a server based on input-output traces; new work on special-purpose verification protocols tosupport application of algorithms from topological data analysis and metric geometryto very large data sets; and foundational work extending probabilistic proof-based systems forverifiable outsourcing.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 11, 2018
- Source ID
- FA95501810415
Entities
People
- Andrew Blumberg
Organizations
- Air Force Office of Scientific Research
- United States Air Force
- University of Texas at Austin