Cryptology ePrint Archive: Report 2013/356
Available versions in chronological order
20130610:125809 (posted 10-Jun-2013 12:58:09 UTC)
Verifying computations with state
Benjamin Braun and Ariel J. Feldman and Zuocheng Ren and Srinath Setty and Andrew J. Blumberg and Michael Walfish
20131104:020834 (posted 04-Nov-2013 02:08:34 UTC)
Verifying Computations with State (Extended Version)
Benjamin Braun and Ariel J. Feldman and Zuocheng Ren and Srinath Setty and Andrew J. Blumberg and Michael Walfish
Original publication (with major differences): ACM Symposium on Operating Systems Principles (SOSP)
20131104:022721 (posted 04-Nov-2013 02:27:21 UTC)
Verifying Computations with State (Extended Version)
Benjamin Braun and Ariel J. Feldman and Zuocheng Ren and Srinath Setty and Andrew J. Blumberg and Michael Walfish
Original publication (with major differences): ACM Symposium on Operating Systems Principles (SOSP)
20131114:135428 (posted 14-Nov-2013 13:54:28 UTC)
Verifying Computations with State (Extended Version)
Benjamin Braun and Ariel J. Feldman and Zuocheng Ren and Srinath Setty and Andrew J. Blumberg and Michael Walfish
Original publication (with major differences): ACM Symposium on Operating Systems Principles (SOSP)
[
Cryptology ePrint archive
]