A First Step to Provable Security in Block Ciphers against Side Channel Attacks

Security notions for block ciphers have been defined in a concrete security framework. Yet, a cryptosystem against side channel attacks has no appropriate secure goals and adversary models for some reason currently. This paper presents some security notions for block ciphers against side channel attack. Based on these definitions, we establish the relationship between them by reduction on the success of adversaries as a function of their resources. It provides a general theoretical method for block ciphers against side channel attacks.