Scientific Publications

The paper introduces an open-source platform to support serverless computing for scientific data-processing workflow-based applications across the Cloud continuum.

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.

This paper presents the work conducted in the area of Trust Domain Extensions (TDX) using ProVerif's specification language.

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.

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).