T. Pasquier, J. Singh, J. Bacon, and D. Eyers, “Information Flow Audit for PaaS clouds,” in International Conference on Cloud Engineering (IC2E), 2016.