Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification. - Sabine Azzi; Bruno Barras; Maria Christofi; David Vigilant (J. Cryptogr. Eng., 2017)