Victor Vu

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Verifiable computation using multiple provers.
IACR Cryptol. ePrint Arch., 2014

2013
A Hybrid Architecture for Interactive Verifiable Computation.
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012
Taking proof-based verified computation a few steps closer to practicality (extended version).
IACR Cryptol. ePrint Arch., 2012

Resolving the conflict between generality and plausibility in verified computation.
IACR Cryptol. ePrint Arch., 2012

Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
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.
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.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012


  Loading...