Browsing Faculty of Arts and Sciences by Keyword "Information Flow Control"

Now showing items 1-4 of 4

    • Camflow: Managed Data-Sharing for Cloud Services 

      Pasquier, Thomas; Singh, Jatinder; Eyers, David; Bacon, Jean (Institute of Electrical and Electronics Engineers (IEEE), 2017)
      A model of cloud services is emerging whereby a few trusted providers manage the underlying hardware and communications whereas many companies build on this infrastructure to offer higher level, cloud-hosted PaaS services ...

    • Clouds of Things Need Information Flow Control with Hardware Roots of Trust 

      Pasquier, Thomas; Singh, Jatinder; Bacon, Jean (IEEE, 2015)
      There is a clear, outstanding need for new security mechanisms that allow data to be managed and controlled within the cloud-enabled Internet of Things. Towards this, we propose an approach based on Information Flow Control ...

    • FlowR: Aspect Oriented Programming for Information Flow Control in Ruby 

      Pasquier, Thomas; Bacon, Jean; Shand, Brian (ACM, 2014)
      This paper reports on our experience with providing Information Flow Control (IFC) as a library. Our aim was to support the use of an unmodified Platform as a Service (PaaS) cloud infrastructure by IFC-aware web applications. ...

    • Managing Big Data with Information Flow Control 

      Pasquier, Thomas; Singh, Jatinder; Bacon, Jean; Hermant, Olivier (2015)
      Concern about data leakage is holding back more widespread adoption of cloud computing by companies and public institutions alike. To address this, cloud tenants/applications are traditionally isolated in virtual machines ...