Signatures of Correct Computation

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

Authors

Charalampos Papamanthou

This author has not been identified. Look up 'Charalampos Papamanthou' in Google

Elaine Shi

This author has not been identified. Look up 'Elaine Shi' in Google

Roberto Tamassia

This author has not been identified. Look up 'Roberto Tamassia' in Google