Algebraic Attacks over GF(2 k ), Application to HFE Challenge 2 and Sflash-v2 (Lecture notes in computer science)