3 papers
cs.CR2026
AMD SEV-SNP: A Confidential Computing Primer
Amean Asad, Patrick McClurg, Patrick Woodhead
This paper is a technical primer on AMD Secure Encrypted Virtualization with Secure Nested Paging (SEV-SNP), a hardware confidential computing implementation that provides Trusted…
cs.CR2026
Kettle: Attested builds for verifiable software provenance
Amean Asad, André Arko
Kettle is an attested build system that produces cryptographically verifiable provenance for software built inside Trusted Execution Environments (TEEs). A Kettle build records the…
cs.CR2026
C8s: A Confidential Kubernetes Architecture
Amean Asad, Patrick McClurg, João Andrade
This paper presents C8s, a confidential computing architecture for Kubernetes that provides cryptographically rooted confidentiality, integrity, and verifiability guarantees for Ku…