2 ms·Design & Implementation of a Verified File System with End-to-End Data Integrity2 points by matt_d 7y ago