Pith. sign in

REVIEW 1 cited by

Reproducible Builds: Increasing the Integrity of Software Supply Chains

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2104.06020 v1 pith:MSR73M56 submitted 2021-04-13 cs.SE

classification cs.SE
keywords reproduciblebuildscodesoftwaresourcebuildchainsmaking
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Although it is possible to increase confidence in Free and Open Source Software (FOSS) by reviewing its source code, trusting code is not the same as trusting its executable counterparts. These are typically built and distributed by third-party vendors, with severe security consequences if their supply chains are compromised. In this paper, we present reproducible builds, an approach that can determine whether generated binaries correspond with their original source code. We first define the problem, and then provide insight into the challenges of making real-world software build in a "reproducible" manner-this is, when every build generates bit-for-bit identical results. Through the experience of the Reproducible Builds project making the Debian Linux distribution reproducible, we also describe the affinity between reproducibility and quality assurance (QA).

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Solving Package Management via Hypergraph Dependency Resolution

    cs.SE 2025-06 conditional novelty 5.0 of 10

    A hypergraph formalism with three edge types encodes package dependencies, conflicts, and optional deps, and a SAT-based solve can in principle span many package ecosystems in one pass.

Pith tools