Spook: Sponge-Based Leakage-Resistant Authenticated Encryption with a Masked Tweakable Block Cipher

Bellizia, Davide;Berti, Francesco;Bronchain, Olivier;Cassiers, Gaëtan;Wiemer, Friedrich;et.al.
(2020) IACR Transactions on Symmetric Cryptology — Vol. 2020, n° 1, p. 295-349 (2020)

Files

Spook_Sponge-BasedLeakage-ResistantAuthenticatedEncryptionwithaMaskedTweakableBlockCipher.pdf
  • Open Access
  • Adobe PDF
  • 3.55 KB

Details

Authors
  • Bellizia, Davideorcid-logoUCLouvain
    Author
  • Berti, FrancescoUCLouvain
    Author
  • Bronchain, Olivierorcid-logoUCLouvain
    Author
  • Author
  • Duval, SébastienUCLouvain
    Author
  • Levi, ItamarUCLouvain
    Author
  • Momin, CharlesUCLouvain
    Author
  • Author
  • Author
  • Udvarhelyi, Balazsorcid-logoUCLouvain
    Author
  • Wiemer, FriedrichRuhr-Universität Bochum, Bochum, Germany
    Author
Show more
Abstract
This paper defines Spook: a sponge-based authenticated encryption with associated data algorithm. It is primarily designed to provide security against side-channel attacks at a low energy cost. For this purpose,Spook is mixing a leakage-resistant mode of operation with bitslice ciphers enabling efficient and low latency implementations. The leakage-resistant mode of operation leverages a rekeying function to prevent differential side-channel analysis, a duplex sponge construction to efficiently process the data, and a tag verification based on a Tweakable Block Cipher(TBC) providing strong data integrity guarantees in the presence of leakages. The underlying bitslice ciphers are optimized for the masking countermeasures against side-channel attacks.Spookis an efficient single-pass algorithm. It ensures state-of-the-art black box security with several prominent features: (i) nonce misuse-resilience,(ii) beyond-birthday security with respect to the TBC block size, and (iii) multi-user security at minimum cost with a public tweak. Besides the specifications and design rationale, we provide first software and hardware implementation results of (unprotected)Spook which confirm the limited overheads that the use of two primitives sharing internal components imply. We also show that the integrity of Spook with leakage, so far analyzed with unbounded leakages for the duplex sponge and a strongly protected TBC modeled as leak-free, can be proven with a much weaker unpredictability assumption for the TBC. We finally discuss external cryptanalysis results and tweaks to improve both the security margins and efficiency of Spook.
Affiliations

Citations

Bellizia, D., Berti, F., Bronchain, O., Cassiers, G., Duval, S., Guo, C., Leander, G., Leurent, G., Levi, I., Momin, C., Pereira, O., Peters, T., Standaert, F.-X., Udvarhelyi, B., & Wiemer, F. (2020). Spook: Sponge-Based Leakage-Resistant Authenticated Encryption with a Masked Tweakable Block Cipher. IACR Transactions on Symmetric Cryptology, 2020(1), 295-349. https://doi.org/10.13154/tosc.v2020.iS1.295-349 (Original work published 2020)