The Design and Implementation of a Verified File System with End-to-End Data Integrity. - Daniel W. Song; Konstantinos Mamouras; Ang Chen 001; Nathan Dautenhahn; Dan S. Wallach (CoRR, 2020)