Improving application security with data flow assertions.

Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Browse the full SOSP paper archive.