Mohammad Mahmoody, Tal Moran, Salil P. Vadhan. Publicly verifiable proofs of sequential work. In Robert D. Kleinberg, editor, Innovations in Theoretical Computer Science, ITCS '13, Berkeley, CA, USA, January 9-12, 2013. pages 373-388, ACM, 2013. [doi]
Abstract is missing.