Login / Signup
Daniel W. Song
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Design Process
End To End
Data Integrity
Top Venues
CoRR
</>
Publications
</>
Daniel W. Song
,
Konstantinos Mamouras
,
Ang Chen
,
Nathan Dautenhahn
,
Dan S. Wallach
The Design and Implementation of a Verified File System with End-to-End Data Integrity.
CoRR
(2020)