Challenges and implications of verifiable builds for security-critical open-source software. - Carnavalet, Xavier de Carné de; Mannan, Mohammad (2014)