1

PHP2Uni: Building Unikernels using Scripting Language Transpilation
Unikernels are a rapidly emerging technology in the world of cloud computing. Unikernels build on research on library operating systems …
T Pasquier, D Eyers, J Bacon
PDF Cite DOI
Big Ideas paper: Policy-driven middleware for a legally-compliant Internet of Things
Internet of Things (IoT) applications, systems and services are subject to law. We argue that for the IoT to develop lawfully, there …
J Singh, T Pasquier, J Bacon, J Powles, R Diaconu, D Eyers
PDF Cite DOI
Data-Centric Access Control for Cloud Computing
The usual approach to security for cloud-hosted applications is strong separation. However, it is often the case that the same data is …
T Pasquier, J Bacon, J Singh, D Eyers
PDF Cite DOI
Information Flow Audit for Transparency and Compliance in the Handling of Personal Data
The adoption of cloud computing is increasing and its use is becoming widespread in many sectors. As the proportion of services …
T Pasquier, D Eyers
PDF Cite DOI
Information Flow Audit for PaaS clouds
With the rapid increase in uptake of cloud services, issues of data management are becoming increasingly prominent. There is a clear, …
T Pasquier, J Singh, J Bacon, D Eyers
PDF Cite DOI
Clouds of Things Need Information Flow Control with Hardware Roots of Trust
There is a clear, outstanding need for new security mechanisms that allow data to be managed and controlled within the cloud-enabled …
T Pasquier, J Singh, J Bacon
PDF Cite DOI
Managing Big Data with Information Flow Control
Concern about data leakage is holding back more widespread adoption of cloud computing by companies and public institutions alike. To …
T Pasquier, J Singh, J Bacon, O Hermant
PDF Cite DOI
Securing Tags to Control Information Flows within the Internet of Things
To realise the full potential of the Internet of Things (loT), loT architectures are moving towards open and dynamic interoperability, …
J Singh, T Pasquier, J Bacon
PDF Cite DOI
Integrating Middleware with Information Flow Control
Security is an ongoing challenge in cloud computing. Currently, cloud consumers have few mechanisms for managing their data within the …
T Pasquier, J Singh, J Bacon, D Eyers
PDF Cite DOI
Expressing and Enforcing Location Requirements in the Cloud using Information Flow Control
The adoption of cloud computing is increasing and its use is becoming widespread in many sectors. As cloud service provision increases, …
T Pasquier, J Powles
PDF Cite DOI