Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://hdl.handle.net/20.500.14279/15355
Τίτλος: | Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification | Συγγραφείς: | Azzi, Sabine Barras, Bruno Vigilant, David Christofi, Maria Dolores |
Major Field of Science: | Medical and Health Sciences | Field Category: | Basic Medicine | Λέξεις-κλειδιά: | AES;Fault attack;Formal proofs;Linear error correcting code;Static analysis | Ημερομηνία Έκδοσης: | 1-Απρ-2017 | Πηγή: | Journal of Cryptographic Engineering, 2017, vol. 7, no. 1, pp. 75-85 | Volume: | 7 | Issue: | 1 | Start page: | 75 | End page: | 85 | Περιοδικό: | Journal of Cryptographic Engineering | Περίληψη: | 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 |
Εμφανίζεται στις συλλογές: | Άρθρα/Articles |
CORE Recommender
SCOPUSTM
Citations
10
checked on 9 Νοε 2023
Page view(s)
288
Last Week
0
0
Last month
7
7
checked on 31 Αυγ 2024
Google ScholarTM
Check
Altmetric
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα