Victor Vu

A Hybrid Architecture for Interactive Verifiable Computation

Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish, 2013, 2013 IEEE Symposium on Security and Privacy.

Resolving the conflict between generality and plausibility in verified computation

Benjamin Braun, Srinath T. V. Setty, Andrew J. Blumberg, 2013, EuroSys '13.

Verifiable computation using multiple provers

Andrew J. Blumberg, Michael Walfish, Justin Thaler, 2014, IACR Cryptol. ePrint Arch..

UT Austin Villa 2011: 3D Simulation Team Report

Daniel Urieli, Patrick MacAlpine, Peter Stone, 2011 .

Taking Proof-Based Verified Computation a Few Steps Closer to Practicality

Benjamin Braun, Srinath T. V. Setty, Andrew J. Blumberg, 2012, USENIX Security Symposium.

Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition

Daniel Urieli, Patrick MacAlpine, Peter Stone, 2012, AAAI.