@inproceedings{SOSP-2009-YipWZK,
	author        = "Alexander Yip and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek",
	booktitle     = "{Proceedings of the 22nd ACM Symposium on Operating Systems Principles}",
	doi           = "10.1145/1629575.1629604",
	isbn          = "978-1-60558-752-3",
	pages         = "291--304",
	publisher     = "{ACM}",
	title         = "{Improving application security with data flow assertions}",
	year          = 2009,
}