Skip to content

Bit-for-Bit How we built a Sovereign, Reproducible Container Supply Chain for DevGuard

· 0 citations · 10 references

TL;DR

This paper presents how the DevGuard project rebuilt its OCI container pipeline around reproducible Nix builds and independent dual-platform digest verification, and argues that independently reproducible container digests provide a stronger integrity guarantee against build tampering than provenance alone.

View source

Similar papers

Open access Aug 2026

GuixChain: Enforcing Reproducible Builds and Provenance Integrity for Secure Automotive OTA Pipelines

Ensuring the integrity of automotive software, from source code to deployed binaries, has become critical as vehicles increasingly rely on over-the-air (OTA) updates and complex supply chains. The Uptane framework secures OTA update delivery for automotive systems but does not enforce integrity within the upstream soft...

Iwinosa Aideyan, M. Pesé, Richard. R. Brooks · 0 citations
Preprint Sep 2026

Verifiable Computation with Trusted Execution Environments and On-Chain Digital Rights Tokens

We present an architecture that enables data owners to combine private data into data pools using Trusted Execution Environments (TEEs) and manage these pools by issuing narrowly scoped computational rights, encoded as Digital Rights Tokens (DRTs), to third-party data analysts. Each DRT binds specific open-source code...

B. Kruger, Co-Pierre Georg · 0 citations
2026

A Code-Refactoring-Based Migration Scheme for Trusted Applications across Heterogeneous TEEs

Experimental results show that CRTAMS enables trusted-application migration across heterogeneous TEEs with low refactoring cost and moderate execution overhead in the evaluated workloads, while reducing the amount of platform-specific code that developers must write manually.

Di Lu, Qing-Wen Zhang, Yujia Liu et al. · 0 citations
Preprint Sep 2026

"They don't care about this": A Systematic Study of TEE Build Reproducibility in the Wild

Trusted Execution Environments (TEEs) have become a cornerstone of modern cloud computing, providing strong confidentiality and integrity guarantees for both code and data. A critical component of this trust model is remote attestation, which enables external entities to verify the authenticity and integrity of code ex...

Annika Wilde, Marco Gutfleisch, Felix Reichmann et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.