Key points are not available for this paper at this time.
To what extent should one trust a statement that a program is free of Trojan horses? Perhaps it is more important to trust the people who wrote the software.
Ken Thompson (Wed,) studied this question.