C8s: A Confidential Kubernetes Architecture
Pith reviewed 2026-05-08 02:29 UTC · model grok-4.3
The pith
C8s wraps Kubernetes in attested confidential VMs to deliver cryptographically provable confidentiality and integrity even when the control plane runs outside the trust boundary.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
C8s establishes an attestation-rooted trust boundary around confidential virtual machines using AMD SEV-SNP, Intel TDX, and NVIDIA Confidential Computing support. This boundary isolates Kubernetes workloads from infrastructure operators and the unattested control plane, allowing cryptographically provable guarantees of confidentiality, integrity, and verifiability to be offered to data owners, compute providers, and end users.
What carries the argument
The attestation-rooted trust boundary around confidential VMs, which isolates workloads and generates verifiable proofs independent of the Kubernetes control plane.
If this is right
- Data owners can deploy AI inference, model training, and fine-tuning workloads on third-party clouds without risking exfiltration of sensitive data or artifacts.
- Compute providers can offer execution services while keeping customer workloads hidden from cloud operators.
- End users can send requests that remain private to all parties except the attested TEE processing them.
- The architecture remains compatible with existing managed Kubernetes offerings where the control plane cannot be placed inside the trust boundary.
Where Pith is reading between the lines
- The same boundary construction could support confidential orchestration of multi-tenant AI serving platforms where model weights from different owners must stay isolated.
- Operators of regulated industries might use C8s to meet data residency or processing requirements without maintaining fully private infrastructure.
- Future extensions could add policy enforcement layers inside the attested boundary to control data flows between workloads.
Load-bearing premise
The selected hardware TEEs maintain their isolation and attestation guarantees even though the Kubernetes control plane operates outside the attested boundary.
What would settle it
An experiment in which an infrastructure operator successfully extracts model weights or input data from a running C8s workload despite valid attestation reports from the TEE would falsify the claimed guarantees.
Figures
read the original abstract
This paper presents C8s, a confidential computing architecture for Kubernetes that provides cryptographically rooted confidentiality, integrity, and verifiability guarantees for Kubernetes clusters from infrastructure operators. These guarantees are cryptographically provable to any independent third party verifier. The architecture is built on hardware Trusted Execution Environments (TEEs), specifically AMD SEV-SNP, Intel TDX, and NVIDIA Confidential Computing support, to establish an attestation-rooted trust boundary around confidential VMs. This design is compatible with managed Kubernetes services such as Amazon EKS, Google GKE, and Microsoft AKS, where the control plane cannot be attested. Under this boundary, three groups gain guarantees that are absent from conventional deployments. Data and artifact owners can deploy sensitive workloads and proprietary artifacts on third-party infrastructure without risking exfiltration. Compute providers can offer execution services without revealing workloads to cloud operators. End users can submit requests that remain opaque to all parties except the attested TEE processing them. Representative workloads include AI inference, securing AI model weights, and training or fine-tuning on sensitive data.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents C8s, a confidential computing architecture for Kubernetes that uses hardware TEEs (AMD SEV-SNP, Intel TDX, NVIDIA Confidential Computing) to establish an attestation-rooted trust boundary around confidential VMs. It claims to deliver cryptographically provable confidentiality, integrity, and verifiability guarantees to third-party verifiers for workloads on managed Kubernetes services (EKS, GKE, AKS) where the control plane cannot be attested. The architecture targets protection for data owners, compute providers, and end users in sensitive scenarios such as AI inference, model weight protection, and training on proprietary data.
Significance. If the architecture is sound and the TEE assumptions hold, C8s would address a practical gap in confidential computing by enabling verifiable secure execution on untrusted managed Kubernetes platforms without requiring attestation of the control plane. This has clear relevance for privacy-sensitive applications in AI and cloud computing, where current solutions either demand full-stack attestation or accept operator trust.
major comments (2)
- The central claim that cryptographically rooted guarantees hold despite an unattested control plane (handling pod specs, scheduling, secrets, and kubelet communication) is load-bearing but unsupported by any described mechanism for binding attested VM state to a specific workload manifest or for preventing control-plane-induced side effects such as manifest tampering or network configuration that could enable exfiltration.
- No threat model, security analysis, or formal argument is provided to show why standard TEE attestation (SEV-SNP, TDX, NVIDIA CC) suffices to protect workloads when the Kubernetes control plane runs outside the attested boundary and cannot itself be verified.
minor comments (1)
- The abstract and high-level description would benefit from explicit definitions of the exact properties being attested and the verifier's view of the system.
Simulated Author's Rebuttal
We thank the referee for their constructive feedback on our manuscript describing the C8s architecture. We agree that additional details on the binding mechanisms and a formal security analysis would strengthen the paper, and we outline our plans to address these points below.
read point-by-point responses
-
Referee: The central claim that cryptographically rooted guarantees hold despite an unattested control plane (handling pod specs, scheduling, secrets, and kubelet communication) is load-bearing but unsupported by any described mechanism for binding attested VM state to a specific workload manifest or for preventing control-plane-induced side effects such as manifest tampering or network configuration that could enable exfiltration.
Authors: The manuscript describes the use of attested confidential VMs as the trust boundary, with workloads executing inside them, but we recognize that the binding between the attested VM state and the specific Kubernetes workload manifest is not detailed sufficiently. In the revision, we will include a new subsection on 'Attestation and Workload Binding' that explains how the TEE verifies the integrity of the pod specification and container images via measurements included in the attestation report. We will also discuss mitigations for control-plane side effects, such as enforcing all network traffic through attested proxies within the VM and handling secrets via attested key management services. This addresses the potential for manifest tampering by ensuring that any deviation would invalidate the attestation. revision: yes
-
Referee: No threat model, security analysis, or formal argument is provided to show why standard TEE attestation (SEV-SNP, TDX, NVIDIA CC) suffices to protect workloads when the Kubernetes control plane runs outside the attested boundary and cannot itself be verified.
Authors: We acknowledge the absence of an explicit threat model in the current version. The architecture relies on the standard properties of the TEEs (memory isolation, remote attestation) to protect the workload execution, assuming the control plane can only influence scheduling and configuration but not the runtime inside the TEE. In the revised manuscript, we will add a dedicated 'Threat Model and Security Analysis' section. This will formally define the adversary as the infrastructure operator with control over the Kubernetes control plane, list the assumptions on TEE security (e.g., no side-channel attacks beyond current mitigations), and provide arguments why attestation of the VM suffices to ensure confidentiality and integrity of the workload despite the unattested control plane. We will include informal proofs for key properties and discuss limitations. revision: yes
Circularity Check
No circularity: architectural construction without derivation or fitting
full rationale
The paper describes a system architecture for confidential Kubernetes clusters built on TEE hardware (AMD SEV-SNP, Intel TDX, NVIDIA CC) and compatible with managed services. No equations, parameter fitting, predictions, or self-referential definitions appear in the provided abstract or description. Claims rest on assumed TEE isolation properties and design choices rather than any reduction to inputs by construction, self-citation chains, or renamed empirical patterns. The architecture is presented as a self-contained construction whose guarantees follow from the stated TEE boundaries and compatibility assertions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Hardware TEEs such as AMD SEV-SNP, Intel TDX and NVIDIA Confidential Computing provide strong memory isolation and remote attestation that cannot be bypassed by the cloud hypervisor or operator.
Reference graph
Works this paper leans on
-
[1]
AMD.AMD SEV-SNP: Strengthening VM Isolation with Integrity Protection and More. AMD White Paper, 2020
work page 2020
-
[2]
Intel.Intel Trust Domain Extensions (Intel TDX) Module Base Architecture Specification. Intel, 2023
work page 2023
-
[3]
NVIDIA.NVIDIA Confidential Computing. NVIDIA Technical Brief, 2023
work page 2023
-
[4]
https://github.com/lunal-dev/home/blob/ main/blog/tee-performance-cpus.md, 2025
confidential.ai.TEE Performance on CPUs. https://github.com/lunal-dev/home/blob/ main/blog/tee-performance-cpus.md, 2025
work page 2025
-
[5]
W. Kwon, Z. Li, S. Zhuang, et al. Efficient Memory Management for Large Language Model Serving with PagedAttention. InProceedings of the 29th Symposium on Operating Systems Principles (SOSP), 2023
work page 2023
-
[6]
https://katacontainers.io, 2024
Kata Containers.Kata Containers Architecture. https://katacontainers.io, 2024
work page 2024
-
[7]
https://github.com/ confidential-containers, 2024
Confidential Containers.CoCo Project Documentation. https://github.com/ confidential-containers, 2024
work page 2024
-
[8]
V. Shoup. A Proposal for an ISO Standard for Public Key Encryption.Cryptology ePrint Archive, Report 2001/112, 2001
work page 2001
-
[9]
A. Fiat and M. Naor. Broadcast Encryption. InAdvances in Cryptology (CRYPTO), 1993
work page 1993
-
[10]
Valsorda.The age File Encryption Format
F. Valsorda.The age File Encryption Format. https://age-encryption.org/v1, 2019
work page 2019
-
[11]
M. Morbitzer, M. Huber, J. Horsch, and S. Wessel. SEVered: Subverting AMD’s Virtual Machine Encryption. InProceedings of the 11th European Workshop on Systems Security (EuroSec), ACM, 2018
work page 2018
-
[12]
https://www.vaultproject.io, 2024
HashiCorp.Vault by HashiCorp. https://www.vaultproject.io, 2024
work page 2024
-
[13]
https://github.com/containerd/nri, 2023
Kubernetes.Node Resource Interface (NRI). https://github.com/containerd/nri, 2023
work page 2023
- [14]
-
[15]
H. Birkholz, D. Thaler, M. Richardson, N. Smith, and W. Pan. Remote ATtestation procedureS (RATS) Architecture.RFC 9334, IETF, 2023. https://datatracker.ietf.org/doc/ html/rfc9334
work page 2023
- [16]
- [17]
- [18]
-
[19]
SPIFFE.Secure Production Identity Framework for Everyone. https://spiffe.io, 2024
work page 2024
-
[20]
https: //github.com/sigstore/cosign, 2024
Sigstore.Cosign: Container Signing, Verification and Storage in an OCI Registry. https: //github.com/sigstore/cosign, 2024. 46
work page 2024
- [21]
-
[22]
J. De Meulemeester, D. Oswald, I. Verbauwhede, and J. Van Bulck. Battering RAM: Low-Cost Interposer Attacks on Confidential Computing via Dynamic Memory Aliasing. In 47th IEEE Symposium on Security and Privacy (S&P ’26), IEEE, 2026
work page 2026
-
[23]
J. De Meulemeester, L. Wilke, D. Oswald, T. Eisenbarth, I. Verbauwhede, and J. Van Bulck. BadRAM: Practical Memory Aliasing Attacks on Trusted Execution Environments. In46th IEEE Symposium on Security and Privacy (S&P ’25), IEEE, 2025
work page 2025
-
[24]
Constellation: Confidential Kubernetes
Edgeless Systems. Constellation: Confidential Kubernetes. https://github.com/edgelesssys/ constellation, 2024. 47
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.