Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/15355
Title: | Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification | Authors: | Azzi, Sabine Barras, Bruno Vigilant, David Christofi, Maria Dolores |
Major Field of Science: | Medical and Health Sciences | Field Category: | Basic Medicine | Keywords: | AES;Fault attack;Formal proofs;Linear error correcting code;Static analysis | Issue Date: | 1-Apr-2017 | Source: | Journal of Cryptographic Engineering, 2017, vol. 7, no. 1, pp. 75-85 | Volume: | 7 | Issue: | 1 | Start page: | 75 | End page: | 85 | Journal: | Journal of Cryptographic Engineering | Abstract: | Recently, Bringer et al. [10] introduced a new countermeasure based on linear codes. This elegant design aims at protecting advanced encryption standard against both side-channel attacks and fault attacks (FA). However, the fault detection during nonlinear operations (for example SubBytes operation) was left as an open question. The present work studies how linear systematic error correcting codes can simply be used to detect fault injections during nonlinear operations in a symmetric block cipher. In particular, for the faults that cause errors with limited Hamming weight, this method can lead to interesting detection capabilities. Considering this way of protecting AES encryption against FA, a concrete implementation is presented. For a given fault model, a methodology of formal verification is applied to some parts of this implementation, assessing the fault resistance of one linear operation AddRoundKey and one nonlinear operation SubBytes. © 2016, Springer-Verlag Berlin Heidelberg. | URI: | https://hdl.handle.net/20.500.14279/15355 | ISSN: | 21908516 | DOI: | 10.1007/s13389-016-0138-1 | Rights: | © Springer | Type: | Article | Affiliation : | Gemalto Meudon sur Seine Cyprus University of Technology |
Publication Type: | Peer Reviewed |
Appears in Collections: | Άρθρα/Articles |
CORE Recommender
SCOPUSTM
Citations
10
checked on Nov 9, 2023
Page view(s)
288
Last Week
0
0
Last month
7
7
checked on Aug 31, 2024
Google ScholarTM
Check
Altmetric
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.