Xavier de Carné de Carnavalet, Mohammad Mannan. Challenges and implications of verifiable builds for security-critical open-source software. In Charles N. Payne Jr., Adam Hahn, Kevin R. B. Butler, Micah Sherr, editors, Proceedings of the 30th Annual Computer Security Applications Conference, ACSAC 2014, New Orleans, LA, USA, December 8-12, 2014. pages 16-25, ACM, 2014. [doi]
Abstract is missing.