[Resource Topic] 2021/1250: Efficient Leakage-Resilient MACs without Idealized Assumptions

Welcome to the resource topic for 2021/1250

Efficient Leakage-Resilient MACs without Idealized Assumptions

Authors: Francesco Berti, Chun Guo, Thomas Peters, François-Xavier Standaert


The security proofs of leakage-resilient MACs based on symmetric building blocks currently rely on idealized assumptions that hardly translate into interpretable guidelines for the cryptographic engineers implementing these schemes. In this paper, we first present a leakage-resilient MAC that is both efficient and secure under standard and easily interpretable black box and physical assumptions. It only requires a collision resistant hash function and a single call per message authentication to a Tweakable Block Cipher (\mathsf{TBC}) that is unpredictable with leakage. This construction leverages two design twists: large tweaks for the \mathsf{TBC} and a verification process that checks the inverse \mathsf{TBC} against a constant. It enjoys beyond birthday security bounds. We then discuss the cost of getting rid of these design twists. We show that security can be proven without them as well. Yet, a construction without large tweaks requires stronger (non idealized) assumptions and may incur performance overheads if specialized $\mathsf{TBC}s with large tweaks can be exploited, and a construction without twisted verification requires even stronger assumptions (still non idealized) and leads to more involved bounds. The combination of these results makes a case for our first pragmatic construction and suggests the design of \mathsf{TBC}$s with large tweaks and good properties for side-channel countermeasures as an interesting challenge.

ePrint: https://eprint.iacr.org/2021/1250

Talk: https://www.youtube.com/watch?v=AXjn0MLeky4

Slides: https://iacr.org/submit/files/slides/2021/asiacrypt/asiacrypt2021/271/slides.pdf

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 .