David Wheeler Countering Trusting Trust through Diverse Double-Compiling. 33-48 2005 conf/acsac/2005 ACSAC http://doi.ieeecomputersociety.org/10.1109/CSAC.2005.17 db/conf/acsac/acsac2005.html#Wheeler05