Matthieu Rivain, Emmanuelle Dottax, Emmanuel Prouff: Block Ciphers Implementations Provably Secure Against Second Order Side Channel Analysis. FSE 2008: 127-143