4 ms·CompCert: Trust, but Verify (2013)1 points by bootload 10y agobootload 10y agosource: https://twitter.com/daniel_bilar/status/801172154159075328 https://twitter.com/daniel_bilar/status/801172154159075328