Venus: verification for untrusted cloud storage. - Alexander Shraer; Christian Cachin; Asaf Cidon; Idit Keidar; Yan Michalevsky; Dani Shaket (CCSW, 2010)