Kettle: Attested builds for verifiable software provenance. - Amean Asad; André Arko (CoRR, 2026)