Matthieu Rivain Emmanuel Prouff Provably Secure Higher-Order Masking of AES. 413-427 2010 CHES http://dx.doi.org/10.1007/978-3-642-15031-9_28 conf/ches/2010 db/conf/ches/ches2010.html#RivainP10