T. Pasquier and J. Powles, “Expressing and Enforcing Location Requirements in the Cloud using Information Flow Control,” in IC2E International Workshop on Legal and Technical Issues in Cloud Computing (CLaw'15), 2015.