[tor-talk] BitMail.sf.net v 0.6 - Secure Encrypting Email Client

Johan Wevers johanw at vulcan.xs4all.nl
Mon Nov 18 07:52:47 CET 2013

On 18-11-2013 6:21, Robert J. Hansen wrote:

> So even if
> you're running two binaries that are completely identical, the CPU may
> process them quite differently depending on the state of the system.
> This has some extraordinary implications for those who are trying to
> guarantee their CPU is operating exactly the same as another CPU!

> Every couple of years I look at this problem, read a couple of papers,
> and walk away muttering about now is a great time to start drinking
> heavily...

Dijkstra's goal of formally prooving entire programs more complicated
than hello world seems further away than ever. Don't loose any sleep
over it, noone even tried that in practice anyway.

ir. J.C.A. Wevers
PGP/GPG public keys at http://www.xs4all.nl/~johanw/pgpkeys.html

More information about the Gnupg-users mailing list