Stealthy Hardware Trojan Based Algebraic Fault Analysis of HIGHT Block Cipher
Joint Authors
Chen, Hao
Wang, Tao
Zhang, Fan
Zhao, Xinjie
He, Wei
Xu, Lumin
Ma, Yunfei
Source
Security and Communication Networks
Issue
Vol. 2017, Issue 2017 (31 Dec. 2017), pp.1-15, 15 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2017-12-20
Country of Publication
Egypt
No. of Pages
15
Main Subjects
Information Technology and Computer Science
Abstract EN
HIGHT is a lightweight block cipher which has been adopted as a standard block cipher.
In this paper, we present a bit-level algebraic fault analysis (AFA) of HIGHT, where the faults are perturbed by a stealthy HT.
The fault model in our attack assumes that the adversary is able to insert a HT that flips a specific bit of a certain intermediate word of the cipher once the HT is activated.
The HT is realized by merely 4 registers and with an extremely low activation rate of about 0.000025.
We show that the optimal location for inserting the designed HT can be efficiently determined by AFA in advance.
Finally, a method is proposed to represent the cipher and the injected faults with a merged set of algebraic equations and the master key can be recovered by solving the merged equation system with an SAT solver.
Our attack, which fully recovers the secret master key of the cipher in 12572.26 seconds, requires three times of activation on the designed HT.
To the best of our knowledge, this is the first Trojan attack on HIGHT.
American Psychological Association (APA)
Chen, Hao& Wang, Tao& Zhang, Fan& Zhao, Xinjie& He, Wei& Xu, Lumin…[et al.]. 2017. Stealthy Hardware Trojan Based Algebraic Fault Analysis of HIGHT Block Cipher. Security and Communication Networks،Vol. 2017, no. 2017, pp.1-15.
https://search.emarefa.net/detail/BIM-1203172
Modern Language Association (MLA)
Chen, Hao…[et al.]. Stealthy Hardware Trojan Based Algebraic Fault Analysis of HIGHT Block Cipher. Security and Communication Networks No. 2017 (2017), pp.1-15.
https://search.emarefa.net/detail/BIM-1203172
American Medical Association (AMA)
Chen, Hao& Wang, Tao& Zhang, Fan& Zhao, Xinjie& He, Wei& Xu, Lumin…[et al.]. Stealthy Hardware Trojan Based Algebraic Fault Analysis of HIGHT Block Cipher. Security and Communication Networks. 2017. Vol. 2017, no. 2017, pp.1-15.
https://search.emarefa.net/detail/BIM-1203172
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1203172