Services
Trusted hardware,
scrutinised.
We harden systems with Trusted Execution Environments (TEEs), and scrutinise how existing systems use them and whether their attestation protocols behave as claimed.
Book a call →WHAT WE ADVISE ON
Isolation only holds if every piece is built right
Each capability below is drawn from research we've published.
TEE-based system hardening
Advising on where and how TEEs fit into a client's architecture, grounded in the same research behind our own Cloud Wallet and Custody products.
Attestation protocol verification
Verifying attestation protocols — the mechanisms that let a system prove what code is running inside an enclave and that it hasn't been tampered with.
TEE application analysis
Scrutinising systems built on Trusted Execution Environments for correct use of TEE primitives, drawing on our own symbolic analysers built to check enclave code.
HOW WE ENGAGE
Do integrity and confidentiality actually hold?
Every engagement begins by mapping what a TEE-based system depends on: the trusted and untrusted boundary, and the attestation stack and protocol behind it. We then check the system against those components, confirming they're used correctly and that the integrity and confidentiality guarantees they exist to provide hold.
TRUSTED HARDWARE
What is trusted hardware?
Trusted Execution Environments are becoming a standard feature of modern processors. Intel SGX, AMD SEV, and Arm TrustZone each isolate computation at a different level — from part of a single process to an entire virtual machine — but they share the same core capability: a program can run inside one of these environments so that not even the operator of the machine can see its instructions or data. Not the cloud provider hosting it, not the host operating system, not another process running alongside it can read or alter what's inside. This is what makes a TEE a form of trusted hardware: the guarantee comes from the chip itself, verified through attestation, rather than from trusting whoever administers the server it runs on.
Isolation doesn't hold on its own. It depends on a set of components — the enclave boundary, the attestation stack, the key-management primitives around it — being implemented and used correctly by the system built on top of them. Get this right and a TEE delivers two things: confidentiality, so nothing outside the enclave can read what's inside, and integrity, so nothing outside it can alter how it runs. Get it wrong — say, handing over key material before attestation completes, or trusting an attestation result the system never actually checked — and either can silently fail. Our consulting work looks at exactly this: whether each component is implemented as specified, and whether the system uses it the way it's meant to.
RESEARCH DEPTH
Published, and protected
A sample of the peer-reviewed papers and granted patents this consulting work draws on.
Guardian: Symbolic Validation of Orderliness in SGX Enclaves
Paper — CCSW '21
Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves
Paper — IEEE Access 2023
Storing Cryptographic Keys Securely
Patent — GB2611412B
Custody service for authorising transactions
Patent — GB2607282B
TEE CONSULTING, BY TBTL
Talk to us about hardening a TEE-based system or verifying an attestation protocol.
Book a call ↗