[Resource Topic] 2022/916: Post-Quantum Authenticated Encryption against Chosen-Ciphertext Side-Channel Attacks

Welcome to the resource topic for 2022/916

Title:
Post-Quantum Authenticated Encryption against Chosen-Ciphertext Side-Channel Attacks

Authors: Melissa Azouaoui, Yulia Kuzovkova, Tobias Schneider, and Christine van Vredendaal

Abstract:

Over the last years, the side-channel analysis of Post-Quantum Cryptography (PQC) candidates in the NIST standardization initiative has received increased attention. In particular, it has been shown that some post-quantum Key Encapsulation Mechanisms (KEMs) are vulnerable to Chosen-Ciphertext Side-Channel Attacks (CC-SCA). These powerful attacks target the re-encryption step in the Fujisaki-Okamoto (FO) transform, which is commonly used to achieve CCA security in such schemes. To sufficiently protect PQC KEMs on embedded devices against such a powerful CC-SCA, masking at increasingly higher order is required, which induces a considerable overhead. In this work, we propose to use a conceptually simple construction, the \mathcal{E}t\mathcal{S} KEM, that alleviates the impact of CC-SCA. It uses the Encrypt-then-Sign (\mathcal{E}t\mathcal{S}) paradigm introduced by Zheng at ISW ’97 and further analyzed by An, Dodis and Rabin at EUROCRYPT ’02, and instantiates a postquantum authenticated KEM in the outsider-security model. While the construction is generic, we apply it to the CRYSTALS-Kyber KEM, relying on the CRYSTALS-Dilithium and Falcon signature schemes. We show that a CC-SCA-protected \mathcal{E}t\mathcal{S} KEM version of CRYSTALS-Kyber requires less than 10% of the cycles required for the CC-SCA-protected FO-based KEM, at the cost of additional data/communication overhead. We additionally show that the cost of protecting the \mathcal{E}t\mathcal{S} KEM against fault injection attacks, necessarily due to the added signature verification, remains negligible compared to the large cost of masking the FO transform at higher orders. Lastly, we discuss relevant embedded use cases for our \mathcal{E}t\mathcal{S} KEM construction.

ePrint: https://eprint.iacr.org/2022/916

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .