TY  - RPRT
TI  - The Design and Implementation of a Verified File System with End-to-End Data Integrity
AU  - Daniel W. Song
AU  - Konstantinos Mamouras
AU  - Ang Chen
AU  - Nathan Dautenhahn
AU  - Dan S. Wallach
PY  - 2020
UR  - https://arxiv.org/abs/2012.07917
ID  - 2012.07917
ER  -