Cryptology ePrint Archive: Report 2013/356

Available versions in chronological order


Verifying computations with state
Benjamin Braun and Ariel J. Feldman and Zuocheng Ren and Srinath Setty and Andrew J. Blumberg and Michael Walfish

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)

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)

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 ]