Verifying computations without reexecuting them
Abstract
From theoretical possibility to near practicality.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 28, 2015
- Source ID
- 10.1145/2641562
Entities
People
- Andrew J. Blumberg
- Michael Walfish
Organizations
- Air Force Office of Scientific Research
- National Science Foundation
- New York University
- University of Texas at Austin