Block ciphers : security proofs, cryptanalysis, design, and fault attacks/. - Gilles-François Piret (2005)