Signatures of Correct Computation

Charalampos Papamanthou, Elaine Shi, Roberto Tamassia. Signatures of Correct Computation. In TCC. pages 222-242, 2013. [doi]

Abstract

Abstract is missing.