@InProceedings{,
author = "Kuei Sun and Daniel Fryer and Ashvin Goel and Angela Demke Brown",
title = "Using Declarative Invariants for Protecting File-System Integrity",
booktitle = "6th Workshop on Programming Languages and Operating Systems (PLOS 2011)",
address = "Cascais, Portugal",
month = "October",
year = "2011",
pages = "5",
}