[Cryptography] Intel experimental tool....

[Tom Mitchell]

Tools like this are interesting.

    http://goparallel.sourceforge.net/experimental-tool-cuts-complexity-code/

If Cryptography code can be reduced in complexity yet return the same
result then the resulting code might present a model that is easier to
attack than the author of the code or crypto model/standard might
think.

With modern large clusters the logic of some decryption/ encryption
pairs might be proved fragile especially if it can be reduced to FPGA
logic gates.

This is true for optimizing compilers as well -- this is in contrast
to a compiler
that optimizes some reuse object safety code away because it is not
used (exposing bits to an attacker).





-- 
  T o m    M i t c h e l l