Jean-Guillaume Dumas. Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk). In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. Volume 11077 of Lecture Notes in Computer Science, pages 1-17, Springer, 2018. [doi]
Abstract is missing.