@danzaburou I think every computer fails this test, especially when considering firmware code. Basically only TempleOS was secure, and only for Terry. Pretty frightening that even he needed modern hardware (thus, black boxes) to do what he did.

Really, it's asking for a reevaluation on Trust itself, and asking if Trust is trustable, and it makes this argument well with good examples... Although I'm not an expert on computer security or even that learned on compilers and such, I just think this paper has enormous importance and I'm glad people still think so and read it. When I first read it, that's when I found Linux and stopped using windows. I started to wonder about what my computer was *really doing.* It was thanks to this paper that I came to these realizations.