Scientific Publications

This paper presents and formally proves a novel defense against the cuckoo attack.

This paper explains how efficient component placement and resource allocation algorithms are crucial to orchestrate at best the computing continuum resources.

This paper proposes a solution to organise the devices within the Cloud-Edge Continuum in such a way that each one, as an autonomous individual –Agent–, processes events/data on its embedded compute resources while offering its computing capacity to the rest of the infrastructure in a Function-as-a-Service manner.

ADAM-CS is an asynchronous monotonic counter service to protect such high-traffic applications against rollback attacks. Leveraging a set of distributed monotonic counters and specific algorithms, ADAM-CS minimizes the maximum vulnerability window (MVW), i.e., the amount of transactions an adversary could successfully rollback.

This paper presents the Neural Architecture Search (NAS): the process of automating architecture engineering, searching for the best deep learning configuration.

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