Using declarative invariants for protecting file-system integrity.

Jack Sun, Daniel Fryer, Ashvin Goel, Angela Demke Brown

Browse the full SOSP paper archive.