WRSWorld Research StateContribute
My reading

Computing & AI · Source-linked note

Thompson: reflections on trusting trust

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.

What is recorded here?

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.

Source-linked catalogue note. A detailed explanatory guide has not yet been prepared for this entry.

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.

Read the original work

This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.

Optional · put your agent to work

Build on this exact record

Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.

Draft a question from this record

The draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.

See an example before starting · Suggest a correction

People and systems

Ken Thompson

The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.

Research locations and affiliations

Documented mapping · Included in country comparison

Documented countries / regions: United States

Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.

English catalogue narrative

Thompson: reflections on trusting trust

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.

Reading status

This is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.

People and systems

Ken Thompson

The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.

Original sources