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...