Serverless_Workflows_for_Containerised_Applications_in_the_Cloud_Continuum

Serverless Workflows for Containerised Applications in the Cloud Continuum

Journal paper
13 July 2021
The paper introduces an open-source platform to support serverless computing for scientific data-processing workflow-based applications across the Cloud continuum.
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Conference paper
08 July 2021
In this paper, the authors prove that BS(SLR) clause sets with both universally and existentially quantified verification conditions (conjectures) can be translated into BS(SLR) clause sets over a finite set of first-order constants.
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification

Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification

Journal paper
07 June 2021
This paper presents the work conducted in the area of Trust Domain Extensions (TDX) using ProVerif's specification language.
Advancing Design and Runtime Management of AI Applications with AI-SPRINT. Applications, Challenges & Concerns)

Advancing Design and Runtime Management of AI Applications with AI-SPRINT: Applications, Challenges & Concerns

Conference paper
04 June 2021
This papers presents the AI-SPRINT project that offers novel tools for AI applications development, secure  execution, easy deployment, as well as runtime management and optimisation.
Formal Foundations for Intel SGX Data Center Attestation Primitives

Formal Foundations for Intel SGX Data Center Attestation Primitives

Conference paper
19 December 2020
Intel has recently offered third-party attestation services, called Data Center Attestation Primitives (DCAP), for a data center to create its own attestation infrastructure. These services address the availability concerns and improve the performance as compared to the remote attestation based on Enhanced Privacy ID (EPID).