Building secure file systems out of Byzantine storage