research
∙
06/15/2022
PCRAFT: Capacity Planning for Dependable Stateless Services
Fault-tolerance techniques depend on replication to enhance availability...
share
research
∙
05/12/2022
Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing
High-assurance security systems require strong isolation from the untrus...
research
∙
01/24/2022
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In a previous paper, we have shown that clause sets belonging to the Hor...
research
∙
10/03/2021
SecFL: Confidential Federated Learning using TEEs
Federated Learning (FL) is an emerging machine learning paradigm that en...
research
∙
08/24/2021
Transient Execution of Non-Canonical Accesses
Recent years have brought microarchitectural security intothe spotlight,...
research
∙
07/07/2021
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
The Bernays-Schönfinkel first-order logic fragment over simple linear re...
research
∙
05/14/2021
Revizor: Testing Black-box CPUs against Speculation Contracts
Speculative vulnerabilities such as Spectre and Meltdown expose speculat...
research
∙
04/30/2021
WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines
Trust is of paramount concern for tenants to deploy their security-sensi...
research
∙
03/31/2021
Perun: Secure Multi-Stakeholder Machine Learning Framework with GPU Support
Confidential multi-stakeholder machine learning (ML) allows multiple par...
research
∙
01/20/2021
secureTF: A Secure TensorFlow Framework
Data-driven intelligent applications in modern online services have beco...
research
∙
01/16/2021
T-Lease: A Trusted Lease Primitive for Distributed Systems
A lease is an important primitive for building distributed protocols, an...
research
∙
01/05/2021
A practical approach for updating an integrity-enforced operating system
Trusted computing defines how to securely measure, store, and verify the...
research
∙
12/11/2020
TEEMon: A continuous performance monitoring framework for TEEs
Trusted Execution Environments (TEEs), such as Intel Software Guard eXte...
research
∙
03/31/2020
Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders
Trust is arguably the most important challenge for critical services bot...
research
∙
12/01/2019
LEGaTO: Low-Energy, Secure, and Resilient Toolset for Heterogeneous Computing
The LEGaTO project leverages task-based programming models to provide a ...
research
∙
08/23/2019
Building Critical Applications using Microservices
Microservices - combined with secure containers - facilitate new ways to...
research
∙
05/24/2019
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface
SpecFuzz is the first tool that enables dynamic testing for speculative ...
research
∙
02/26/2019
PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems
This paper presents PUBSUB-SGX, a content-based publish-subscribe system...
research
∙
02/12/2019
TensorSCONE: A Secure TensorFlow Framework using Intel SGX
Machine learning has become a critical component of modern data-driven o...
research
∙
10/12/2018
Grand Challenge: Real-time Destination and ETA Prediction for Maritime Traffic
In this paper, we present our approach for solving the DEBS Grand Challe...
research
∙
05/22/2018
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass
A recent discovery of a new class of microarchitectural attacks called S...
research
∙
05/15/2018
Approximate Distributed Joins in Apache Spark
The join operation is a fundamental building block of parallel data proc...
research
∙
05/15/2018
SGX-Aware Container Orchestration for Heterogeneous Clusters
Containers are becoming the de facto standard to package and deploy appl...
research
∙
05/04/2018