Security

On the topic of security in the context of compilers, Reflections on Trusting Trust makes a firm conclusion.

Papers from other folks associated with the labs are available more specifically on the security model of UNIX.