Find the Bad Apples: An efficient method for perfect key recovery under imperfect SCA oracles – A case study of Kyber
DOI:
https://doi.org/10.46586/tches.v2023.i1.89-112Keywords:
Lattice-based cryptography, Side-channel attacks, Plaintext-checking oracle, NIST Post-Quantum cryptography standardization, Kyber, Key mismatch attacksAbstract
Side-channel resilience is a crucial feature when assessing whether a postquantum cryptographic proposal is sufficiently mature to be deployed. In this paper, we propose a generic and efficient adaptive approach to improve the sample complexity (i.e., the required number of traces) of plaintext-checking (PC) oracle-based sidechannel attacks (SCAs), a major class of key recovery chosen-ciphertext SCAs on lattice-based key encapsulation mechanisms (KEMs). This new approach is preferable when the constructed PC oracle is imperfect, which is common in practice, and its basic idea is to design new detection codes that can determine erroneous positions in the initially recovered secret key. These secret entries are further corrected with a small number of additional traces. This work benefits from the generality of PC oracle and thus is applicable to various schemes and implementations.
Our main target is Kyber since it has been selected by NIST as the KEM algorithm for standardization. We instantiated the proposed generic attack on Kyber512 and then conducted extensive computer simulations against Kyber512 and FireSaber. We further mounted an electromagnetic (EM) attack against an optimized implementation of Kyber512 in the pqm4 library running on an STM32F407G board with an ARM Cortex-M4 microcontroller. These simulations and real-world experiments demonstrate that the newly proposed attack could greatly improve the state-of-the-art in terms of the required number of traces. For instance, the new attack requires only 41% of the EM traces needed in a majority-voting attack in our experiments, where the raw oracle accuracy is fixed.
Downloads
Published
Issue
Section
License
Copyright (c) 2022 Muyan Shen, Chi Cheng, Xiaohan Zhang, Qian Guo, Tao Jiang
This work is licensed under a Creative Commons Attribution 4.0 International License.