[cap-talk] Security by safe language processing

[John Carlson]

Seems like with all this talk of security and compilers, it's time to  
bring up Ken Thompson's paper:

http://cm.bell-labs.com/who/ken/trust.html