TY - GEN
T1 - Formal Evaluation and Construction of Glitch-resistant Masked Functions
AU - Takarabt, Sofiane
AU - Guilley, Sylvain
AU - Souissi, Youssef
AU - Karray, Khaled
AU - Sauvage, Laurent
AU - Mathieu, Yves
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - We give an algorithm that checks whether every possible transition is masked. It allows to verify the absence of first-order leakage from a masked netlist. It validates the state-of-the-art masking schemes, such as Threshold Implementation and Domain Oriented Masking, but also proves that more compact netlists with equivalent functions are secure. We leverage this methodology to propose a more compact implementation of AES S-Box.
AB - We give an algorithm that checks whether every possible transition is masked. It allows to verify the absence of first-order leakage from a masked netlist. It validates the state-of-the-art masking schemes, such as Threshold Implementation and Domain Oriented Masking, but also proves that more compact netlists with equivalent functions are secure. We leverage this methodology to propose a more compact implementation of AES S-Box.
KW - Cryptography
KW - Data protection
KW - Glitches
KW - Masking countermeasure
KW - Secure S-Box implementation
KW - Side-channel attacks
UR - https://www.scopus.com/pages/publications/85126767783
U2 - 10.1109/HOST49136.2021.9702272
DO - 10.1109/HOST49136.2021.9702272
M3 - Conference contribution
AN - SCOPUS:85126767783
T3 - Proceedings of the 2021 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2021
SP - 304
EP - 313
BT - Proceedings of the 2021 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2021 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2021
Y2 - 13 December 2021 through 14 December 2021
ER -