Dream applications of verifiable computational results. - Matan Gavish; David L. Donoho; Amos Onn (XRDS, 2013)