https://www.archive.ece.cmu.edu/~ganger/712.fall02/papers/p7...
Do check out David Wheeler’s 2009 thesis on Double Diverse Compiling for instance: https://dwheeler.com/trusting-trust/
https://www.archive.ece.cmu.edu/~ganger/712.fall02/papers/p7...