Login / Signup
The Design and Implementation of a Verified File System with End-to-End Data Integrity.
Daniel W. Song
Konstantinos Mamouras
Ang Chen
Nathan Dautenhahn
Dan S. Wallach
Published in:
CoRR (2020)
Keyphrases
</>
end to end
data integrity
file system
storage devices
data storage
database systems
database design
distributed databases
design process
database
client server
user interface
data management
active databases