Numerous recent works have experimentally shown that Intel Software Guard Extensions
(SGX) are vulnerable to cache timing and page table side-channel attacks which could be …

Shielded execution based on Intel SGX provides strong security guarantees for legacy
applications running on untrusted platforms. However, memory safety attacks such as …

We introduce Speicher, a secure storage system that not only provides strong confidentiality
and integrity properties, but also ensures data freshness to protect against rollback/forking …

We introduce Clemmys, a security-first serverless platform that ensures confidentiality and
integrity of users' functions and data as they are processed on untrusted cloud premises …

Services hosted in multi-tenant cloud platforms often encounter performance interference
due to contention for non-partitionable resources, which in turn causes unpredictable …

Running experiments in modern computer architecture simulators can be a difficult and error-
prone endeavor. Users must track many configurations, components and outputs between …

We introduce TEE-PERF, an architecture-and platform-independent performance
measurement tool for trusted execution environments (TEEs). More specifically, TEE-PERF …

Cloud server systems such as Hadoop and Cassandra have enabled many real-world data-
intensive applications running inside computing clouds. However, those systems present …

Distributed systems are increasingly important in modern society, often operating on a
global scale with stringent dependability requirements. Despite the vast amount of research …

The cloud has become established for applications that need to be scalable and highly
available. However, moving data to data centers owned and operated by a third party, ie, the …