Victor Vu

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Efficient Computation

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Andrew J. Blumberg, Justin Thaler, Victor Vu, Michael Walfish
Verifiable computation using multiple provers. IACR Cryptol. ePrint Arch. 2014 (2014)
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Resolving the conflict between generality and plausibility in verified computation. EuroSys (2013)
Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
A Hybrid Architecture for Interactive Verifiable Computation. IEEE Symposium on Security and Privacy (2013)
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. USENIX Security Symposium (2012)
Patrick MacAlpine, Daniel Urieli, Samuel Barrett, Shivaram Kalyanakrishnan, Francisco Barrera, Adrian Lopez-Mobilia, Nicolae Stiurca, Victor Vu, Peter Stone
UT Austin Villa 2011: a champion agent in the RoboCup 3D soccer simulation competition. AAMAS (2012)
Patrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, Peter Stone
Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition. AAAI (2012)
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Resolving the conflict between generality and plausibility in verified computation. IACR Cryptol. ePrint Arch. 2012 (2012)
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
Taking proof-based verified computation a few steps closer to practicality (extended version). IACR Cryptol. ePrint Arch. 2012 (2012)