Masking Security Proofs
Sonia Belaïd · 2025
This chapter investigates the different leakage models and the related masking security proofs. Several leakage models have been introduced to reason on the security of masked cryptographic implementations against side-channel attacks. The chapter discusses four leakage models, such as noisy leakage model, probing model, robust probing model, and random probing model. Among the probing models, the robust probing model supplements the probing model by additionally considering the leakage of physical defaults and the random probing model is closer to the noisy leakage model (with a tight reduction), which makes it possible to build security proofs. The chapter introduces all the prerequisites that we need on circuits, sharings, gadgets and compilers to accurately explain the security proofs. It also presents the composition of secure gadgets in these leakage models.