An Experience Report on Producing Verifiable Builds for Large-Scale Commercial Systems

Yong Shi, Mingzhi Wen, Filipe Roseiro Côgo, Boyuan Chen, Zhen Ming Jiang. An Experience Report on Producing Verifiable Builds for Large-Scale Commercial Systems. IEEE Trans. Software Eng., 48(9):3361-3377, 2022. [doi]

Abstract

Abstract is missing.