Please use this identifier to cite or link to this item: https://ktisis.cut.ac.cy/handle/10488/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.
ISSN: 2190-8516
DOI: 10.1007/s13389-016-0138-1
Rights: © Springer
Type: Article
Affiliation : Gemalto 
Meudon sur Seine 
Cyprus University of Technology 
Appears in Collections:Άρθρα/Articles

CORE Recommender
Show full item record

SCOPUSTM   
Citations

8
checked on Aug 2, 2021

Page view(s)

67
Last Week
9
Last month
9
checked on Aug 5, 2021

Google ScholarTM

Check

Altmetric


Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.