Victor Vu

According to our database, Victor Vu authored at least 7 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Verifiable computation using multiple provers.

Andrew J. Blumberg, Justin Thaler, Victor Vu, Michael Walfish

IACR Cryptol. ePrint Arch., 2014

2013

A Hybrid Architecture for Interactive Verifiable Computation.

Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Resolving the conflict between generality and plausibility in verified computation.

Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish

Proceedings of the Eighth Eurosys Conference 2013, 2013

2012

Taking proof-based verified computation a few steps closer to practicality (extended version).

Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish

IACR Cryptol. ePrint Arch., 2012

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

Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

UT Austin Villa 2011: a champion agent in the RoboCup 3D soccer simulation competition.

Patrick MacAlpine, Daniel Urieli, Samuel Barrett, Shivaram Kalyanakrishnan, Francisco Barrera, Adrian Lopez-Mobilia, Nicolae Stiurca, Victor Vu, Peter Stone

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

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

Patrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, Peter Stone

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012