Research / 01

Trusted Execution Environments

We study the security boundaries, programming models and composability of enclave and confidential-VM architectures across heterogeneous platforms.

Discuss this area

Questions

What we want to understand.

01

How portable can TEE abstractions become?

02

Which assumptions survive a hostile host?

03

How should trusted runtimes expose hardware guarantees?

Technical context

Architectures and systems in scope.

This list describes research scope, not endorsements, partnerships or completed evaluations.

01Intel SGX
02Intel TDX
03AMD SEV-SNP
04ARM CCA
05RISC-V

Related directions

Work is being shaped here.

Project entries describe intended research directions and remain subject to refinement.