Research / 04
Secure Systems
We connect hardware mechanisms with operating systems, hypervisors, runtimes and distributed protocols to build defensible end-to-end systems.
Discuss this areaQuestions
What we want to understand.
How can systems fail without losing core guarantees?
How do we evaluate usable security boundaries?
Technical context
Architectures and systems in scope.
This list describes research scope, not endorsements, partnerships or completed evaluations.
01Operating Systems
02Hypervisors
03Secure Runtimes
04Distributed Systems
Related directions
Work is being shaped here.
Project entries describe intended research directions and remain subject to refinement.
UniversalTEE
Portable and configurable trusted-execution research across heterogeneous systems.
Research direction
TEE Security Analysis
Security evaluation of SGX, TDX, SEV-SNP and emerging confidential-computing architectures.
Research direction
Confidential AI Infrastructure
Protecting AI models, data and inference using trusted hardware.
Research direction