Assured Cloud-Based Data Analysis with ClusterBFT
taking proof - based verified computation a few steps closer to practicality ( extended version ) .