@misc{cryptoeprint:2014:239, author = {Florian Legendre and Gilles Dequen and Michaël Krajecki}, title = {Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5}, howpublished = {Cryptology ePrint Archive, Report 2014/239}, year = {2014}, url = {https://eprint.iacr.org/2014/239}, }