Matthieu Rivain Emmanuelle Dottax Emmanuel Prouff Block Ciphers Implementations Provably Secure Against Second Order Side Channel Analysis. 127-143 2008 FSE http://dx.doi.org/10.1007/978-3-540-71039-4_8 conf/fse/2008 db/conf/fse/fse2008.html#RivainDP08