T. Pasquier, J. Singh, and J. Bacon, “Information Flow Control for Strong Protection with Flexible Sharing in PaaS,” in IC2E, International Workshop on Future of PaaS, 2015.