[cap-talk] Security by safe language processing

[John Carlson]

Can diverse double compiling disprove Godel's (sorry don't know how to  
generate the umlaut) incompleteness theorems?

Something to think about.

John
On Sep 6, 2009, at 5:39 PM, David-Sarah Hopwood wrote:

> John Carlson wrote:
>> 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
>
> That particular attack can be defended against by
> "diverse double compiling":
>
> <http://www.dwheeler.com/trusting-trust/>
>
> which is a good idea anyway because it will catch some categories
> of compiler bug.
>
> -- 
> David-Sarah Hopwood  ⚥  http://davidsarah.livejournal.com
>
> _______________________________________________
> cap-talk mailing list
> cap-talk at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/cap-talk