Verifying computations with state

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 03, 2013
Source ID
10.1145/2517349.2522733

Entities

People

  • Andrew J. Blumberg
  • Ariel J. Feldman
  • Benjamin Braun
  • Michael Walfish
  • Srinath Setty
  • Zuocheng Ren

Organizations

  • Air Force Office of Scientific Research
  • Alfred P. Sloan Foundation
  • Intel Corporation
  • National Science Foundation
  • University of Pennsylvania
  • University of Texas at Austin