@misc{cryptoeprint:2013:356,
    author = {Benjamin Braun and Ariel J. Feldman and Zuocheng Ren and Srinath Setty and Andrew J. Blumberg and Michael Walfish},
    title = {Verifying Computations with State (Extended Version)},
    howpublished = {Cryptology ePrint Archive, Report 2013/356},
    year = {2013},
    url = {https://eprint.iacr.org/2013/356},
}