Confidential computing alleviates the concerns of distrustful customers by removing the
cloud provider from their trusted computing base and resolves their disincentive to migrate …

Abstract The Internet of Things (IoT) network is comprised of heterogeneous devices which
are part of critical infrastructures throughout the world. To enable end-to-end security, the …

Secure enclave technology has during the last decade emerged as an important hardware
security primitive in server computer cores, and increasingly also in chips intended for …

Confidential computing allows processing sensitive workloads in securely isolated spaces.
Following earlier adoption of process-based approaches to isolation, vendors are now …

We present the design and formal analysis of a remote attestation protocol and
accompanying security architecture that generate evidence of trustworthy execution for …

With more computing workloads being shifted to the cloud, verifying the integrity of remote
software stacks through remote attestation becomes an increasingly important topic. During …

In the industrial ecosystem, both the manufacturing and edge clouds collaborate via
virtualisation technology, playing a crucial role in the efficient aggregation and processing of …

Efficient safeguarding of the security of interconnected devices, which are often resource-
constrained, can be achieved through collective remote attestation schemes. However, in …

An exponential number of devices connect to Internet of Things (IoT) networks every year,
increasing the available targets for attackers. Protecting such networks and devices against …

In distributed systems, trust decisions are made on the basis of integrity evidence generated
via remote attestation. Examples of the kinds of evidence that might be collected are boot …