Emmanuel Prouff, Matthieu Rivain. Masking against Side-Channel Attacks: A Formal Security Proof. In Thomas Johansson, Phong Q. Nguyen, editors, Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings. Volume 7881 of Lecture Notes in Computer Science, pages 142-159, Springer, 2013. [doi]
Abstract is missing.