Reproducible Builds and Insights from an Independent Verifier for Arch Linux

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Drexel, Joshua, Hänggi, Esther, Veiga, Iyán Méndez
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915308602654720
author Drexel, Joshua
Hänggi, Esther
Veiga, Iyán Méndez
author_facet Drexel, Joshua
Hänggi, Esther
Veiga, Iyán Méndez
contents Supply chain attacks have emerged as a prominent cybersecurity threat in recent years. Reproducible and bootstrappable builds have the potential to reduce such attacks significantly. In combination with independent, exhaustive and periodic source code audits, these measures can effectively eradicate compromises in the building process. In this paper we introduce both concepts, we analyze the achievements over the last ten years and explain the remaining challenges. We contribute to the reproducible builds effort by setting up a rebuilder and verifier instance to test the reproducibility of Arch Linux packages. Using the results from this instance, we uncover an unnoticed and security-relevant packaging issue affecting 16 packages related to Certbot, the recommended software to install TLS certificates from Let's Encrypt, making them unreproducible. Additionally, we find the root cause of unreproduciblity in the source code of fwupd, a critical software used to update device firmware on Linux devices, and submit an upstream patch to fix it.
format Preprint
id arxiv_https___arxiv_org_abs_2505_21642
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Reproducible Builds and Insights from an Independent Verifier for Arch Linux
Drexel, Joshua
Hänggi, Esther
Veiga, Iyán Méndez
Cryptography and Security
Supply chain attacks have emerged as a prominent cybersecurity threat in recent years. Reproducible and bootstrappable builds have the potential to reduce such attacks significantly. In combination with independent, exhaustive and periodic source code audits, these measures can effectively eradicate compromises in the building process. In this paper we introduce both concepts, we analyze the achievements over the last ten years and explain the remaining challenges. We contribute to the reproducible builds effort by setting up a rebuilder and verifier instance to test the reproducibility of Arch Linux packages. Using the results from this instance, we uncover an unnoticed and security-relevant packaging issue affecting 16 packages related to Certbot, the recommended software to install TLS certificates from Let's Encrypt, making them unreproducible. Additionally, we find the root cause of unreproduciblity in the source code of fwupd, a critical software used to update device firmware on Linux devices, and submit an upstream patch to fix it.
title Reproducible Builds and Insights from an Independent Verifier for Arch Linux
topic Cryptography and Security
url https://arxiv.org/abs/2505.21642