research
∙
08/20/2023
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
Confidential computing is a key technology for isolating high-assurance ...
share
research
∙
04/01/2023
Scalable Attestation of Virtualized Execution Environments in Hybrid- and Multi-Cloud
Existing attestation mechanisms lack scalability and support for heterog...
research
∙
03/27/2023
Intel TDX Demystified: A Top-Down Approach
Intel Trust Domain Extensions (TDX) is a new architectural extension in ...
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
∙
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/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
∙
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
∙
02/26/2019