Leakage-Resilient Symmetric Cryptography under Empirically Verifiable Assumptions

  • François-Xavier Standaert
  • Olivier Pereira
  • Yu Yu
Conference paper

DOI: 10.1007/978-3-642-40041-4_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8042)
Cite this paper as:
Standaert FX., Pereira O., Yu Y. (2013) Leakage-Resilient Symmetric Cryptography under Empirically Verifiable Assumptions. In: Canetti R., Garay J.A. (eds) Advances in Cryptology – CRYPTO 2013. Lecture Notes in Computer Science, vol 8042. Springer, Berlin, Heidelberg

Abstract

Leakage-resilient cryptography aims at formally proving the security of cryptographic implementations against large classes of side-channel adversaries. One important challenge for such an approach to be relevant is to adequately connect the formal models used in the proofs with the practice of side-channel attacks. It raises the fundamental problem of finding reasonable restrictions of the leakage functions that can be empirically verified by evaluation laboratories. In this paper, we first argue that the previous “bounded leakage” requirements used in leakage-resilient cryptography are hard to fulfill by hardware engineers. We then introduce a new, more realistic and empirically verifiable assumption of simulatable leakage, under which security proofs in the standard model can be obtained. We finally illustrate our claims by analyzing the physical security of an efficient pseudorandom generator (for which security could only be proven under a random oracle based assumption so far). These positive results come at the cost of (algorithm-level) specialization, as our new assumption is specifically defined for block ciphers. Nevertheless, since block ciphers are the main building block of many leakage-resilient cryptographic primitives, our results also open the way towards more realistic constructions and proofs for other pseudorandom objects.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© International Association for Cryptologic Research 2013

Authors and Affiliations

  • François-Xavier Standaert
    • 1
  • Olivier Pereira
    • 1
  • Yu Yu
    • 2
    • 3
  1. 1.ICTEAM/ELEN/Crypto GroupUniversité Catholique de LouvainBelgium
  2. 2.East China Normal UniversityChina
  3. 3.Tsinghua UniversityChina

Personalised recommendations