Fiche de TALEB Abdul rahman

Titre : Secure and Verified Cryptographic Implementations in the Random Probing Model
Date : 7 novembre 2023
Heure: 10:00
Résumé : In cryptography, a side-channel attack is any attack based on information gained from the implementation of a cryptosystem, rather than weaknesses in the implemented algorithm itself. After two decades of research, these attacks have become more and more powerful and cryptographic implementations with provable and verifiable security against those attacks are more than ever required. To reason about the security of masked implementations, the community introduced leakage models among which the random probing model which enjoys both practical relevance and theoretical convenience to design and prove secure implementations. However only very few constructions have been proposed in this model which are still inefficient for practical applications. The main objective of this thesis is to fill this gap and more precisely (1) to build new practical constructions with provable security in the random probing model, (2) to construct new or improve existing verification tools to assess the rand
Lieu : Salle 105 couloir 25/26, Jussieu