On 18/06/2014 22:18, D. J. Bernstein wrote:
Bwahahaha. That's funny.
what's your view on this [0] ? Would you trust CompCert :) ?
[0] https://eprint.iacr.org/2013/316.pdf _______________________________________________ cryptography mailing list cryptography@randombit.net http://lists.randombit.net/mailman/listinfo/cryptography
