Michael Abd-El-Malek Gregory R. Ganger Michael K. Reiter Jay J. Wylie Garth R. Goodson Lazy Verification in Fault-Tolerant Distributed Storage Systems. 179-190 2005 conf/srds/2005 SRDS http://doi.ieeecomputersociety.org/10.1109/RELDIS.2005.20 db/conf/srds/srds2005.html#Abd-El-MalekGRWG05