What changed
Demonstrated how a compiler can be modified to insert a Trojan horse into target programs and reproduce the attack when compiling a clean compiler source, exposing a source-level verification limit.
Scientific scope
The record is the exact 1984 Turing Award lecture article. Unix authorship, generic malware, later diverse double-compiling defenses and supply-chain incidents remain separate.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1984 Turing Award lecture article. Unix authorship, generic malware, later diverse double-compiling defenses and supply-chain incidents remain separate.
Contributors
- Ken Thompson · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- University of Cambridge copy of Reflections on Trusting Trust
- Crossref record for Reflections on Trusting Trust
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction
A