@misc{indiciae348f6e892d65,
  title = {The Design and Implementation of a Verified File System with End-to-End Data Integrity},
  author = {Daniel W. Song and Konstantinos Mamouras and Ang Chen and Nathan Dautenhahn and Dan S. Wallach},
  year = {2020},
  url = {https://arxiv.org/abs/2012.07917},
  note = {Source identifier: 2012.07917}
}