Not the first time this kind of thing has happened. A rewrite in SPARK Ada uncovered a flaw in the reference C implementation of the Skein cryptographic algorit

Not the first time this kind of thing has happened. A rewrite in SPARK Ada uncovered a flaw in the reference C implementation of the Skein cryptographic algorithm. • https://www.adacore.com/press/spark-skein https://www.adacore.com/press/spark-skein (ctrl-f for flaw) • [PDF] https://www.cl.cam.ac.uk/archive/mjcg/Meeting.SecurityTools.2011/papers/sparkskein_fmats2011.pdf https://www.cl.cam.ac.uk/archive/mjcg/Meeting.SecurityTools.... (page 12) • [PDF] https://www.adacore.com/uploads/techPapers/SPARKSkein_SBMF.pdf https://www.adacore.com/uploads/techPapers/SPARKSkein_SBMF.p... (page 5)