[Cryptography] List of Proven Secure Ciphers / Hashes

[Peter Gutmann]

"R. Hirschfeld" <ray at unipay.nl> writes:

>The reduction is something you can actually do.  See for example
>http://cstheory.stackexchange.com/questions/6755/fast-reduction-from-rsa-to-sat
>for some ideas (and links to some running code). 

Ooh, good to know, thanks!  The "running code" bit is the important point, 
"runs on a slide projector" is intriguing but not as practically useful. 
ToughSAT, http://toughsat.appspot.com/, in particular looks interesting.

Peter.