Estimating the Cost of a GIS in the Amazon Cloud
Making verifiable computation a systems problem Michael Walfish The University of Texas at Austin.
Making verifiable computation a systems problem