Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Victor Vu
@article{DBLP:journals/iacr/BlumbergTVW14, author = {Andrew J. Blumberg and Justin Thaler and Victor Vu and Michael Walfish}, title = {Verifiable computation using multiple provers}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {846}, year = {2014}, url = {http://eprint.iacr.org/2014/846}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BlumbergTVW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosys/SettyBVBPW13, author = {Srinath T. V. Setty and Benjamin Braun and Victor Vu and Andrew J. Blumberg and Bryan Parno and Michael Walfish}, editor = {Zdenek Hanz{\'{a}}lek and Hermann H{\"{a}}rtig and Miguel Castro and M. Frans Kaashoek}, title = {Resolving the conflict between generality and plausibility in verified computation}, booktitle = {Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013}, pages = {71--84}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2465351.2465359}, doi = {10.1145/2465351.2465359}, timestamp = {Wed, 06 Jul 2022 14:43:33 +0200}, biburl = {https://dblp.org/rec/conf/eurosys/SettyBVBPW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/VuSBW13, author = {Victor Vu and Srinath T. V. Setty and Andrew J. Blumberg and Michael Walfish}, title = {A Hybrid Architecture for Interactive Verifiable Computation}, booktitle = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley, CA, USA, May 19-22, 2013}, pages = {223--237}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/SP.2013.48}, doi = {10.1109/SP.2013.48}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sp/VuSBW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/MacAlpineBUVS12, author = {Patrick MacAlpine and Samuel Barrett and Daniel Urieli and Victor Vu and Peter Stone}, editor = {J{\"{o}}rg Hoffmann and Bart Selman}, title = {Design and Optimization of an Omnidirectional Humanoid Walk: {A} Winning Approach at the RoboCup 2011 3D Simulation Competition}, booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada}, pages = {1047--1053}, publisher = {{AAAI} Press}, year = {2012}, url = {https://doi.org/10.1609/aaai.v26i1.8317}, doi = {10.1609/AAAI.V26I1.8317}, timestamp = {Mon, 04 Sep 2023 15:56:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/MacAlpineBUVS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aamas/MacAlpineUBKBLSVS12, author = {Patrick MacAlpine and Daniel Urieli and Samuel Barrett and Shivaram Kalyanakrishnan and Francisco Barrera and Adrian Lopez{-}Mobilia and Nicolae Stiurca and Victor Vu and Peter Stone}, editor = {Wiebe van der Hoek and Lin Padgham and Vincent Conitzer and Michael Winikoff}, title = {{UT} Austin Villa 2011: a champion agent in the RoboCup 3D soccer simulation competition}, booktitle = {International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)}, pages = {129--136}, publisher = {{IFAAMAS}}, year = {2012}, url = {http://dl.acm.org/citation.cfm?id=2343594}, timestamp = {Thu, 19 Mar 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aamas/MacAlpineUBKBLSVS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/SettyVPBBW12, author = {Srinath T. V. Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Andrew J. Blumberg and Michael Walfish}, editor = {Tadayoshi Kohno}, title = {Taking Proof-Based Verified Computation a Few Steps Closer to Practicality}, booktitle = {Proceedings of the 21th {USENIX} Security Symposium, Bellevue, WA, USA, August 8-10, 2012}, pages = {253--268}, publisher = {{USENIX} Association}, year = {2012}, url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/setty}, timestamp = {Mon, 01 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uss/SettyVPBBW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/SettyVPBBW12, author = {Srinath T. V. Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Andrew J. Blumberg and Michael Walfish}, title = {Taking proof-based verified computation a few steps closer to practicality (extended version)}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {598}, year = {2012}, url = {http://eprint.iacr.org/2012/598}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/SettyVPBBW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/SettyBVBPW12, author = {Srinath T. V. Setty and Benjamin Braun and Victor Vu and Andrew J. Blumberg and Bryan Parno and Michael Walfish}, title = {Resolving the conflict between generality and plausibility in verified computation}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {622}, year = {2012}, url = {http://eprint.iacr.org/2012/622}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/SettyBVBPW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.