• Verifying computations with state
    SOSP, November 2013 [pdf (243KB), key (773KB)]
  • Verifying remote executions: from wild implausibility to near practicality
    Keynote at HotDep, November 2013 [pptx (5MB)]
  • Making verifiable computation a systems problem
    Microsoft Research Faculty Summit, July 2013 [pptx (2.7MB), video]
  • A hybrid architecture for interactive verifiable computation
    Security & Privacy (Oakland), May 2013 [pptx (906KB)]
  • Resolving the conflict between generality and plausibility in verified computation
    EuroSys, April 2013 [pdf (182KB), key (590KB)]
  • Taking proof-based verified computation a few steps closer to practicality
    Security, August 2012 [pdf (corrected, 126KB)]
  • Making argument systems for outsourced computation practical (sometimes)
    NDSS, February 2012 [pdf (12MB), pptx (673KB)]