Age estimation from faces using deep learning: A comparative analysis A Othmani, AR Taleb, H Abdelkawy, A Hadid Computer Vision and Image Understanding 196, 102961, 2020 | 60 | 2020 |
Random probing security: Verification, composition, expansion and new constructions S Belaïd, JS Coron, E Prouff, M Rivain, AR Taleb Annual International Cryptology Conference, 339-368, 2020 | 25 | 2020 |
IronMask: versatile verification of masking security S Belaïd, D Mercadier, M Rivain, AR Taleb 2022 IEEE Symposium on Security and Privacy (SP), 142-160, 2022 | 21 | 2022 |
On the power of expansion: more efficient constructions in the random probing model S Belaïd, M Rivain, AR Taleb Annual International Conference on the Theory and Applications of …, 2021 | 13 | 2021 |
Speeding-up verification of digital signatures AR Taleb, D Vergnaud Journal of Computer and System Sciences 116, 22-39, 2021 | 10 | 2021 |
Dynamic random probing expansion with quasi linear asymptotic complexity S Belaïd, M Rivain, AR Taleb, D Vergnaud Advances in Cryptology–ASIACRYPT 2021: 27th International Conference on the …, 2021 | 7 | 2021 |
Unifying freedom and separation for tight probing-secure composition S Belaïd, G Cassiers, M Rivain, AR Taleb Annual International Cryptology Conference, 440-472, 2023 | 2 | 2023 |
A methodology to achieve provable side-channel security in real-world implementations S Belaïd, G Cassiers, C Mutschler, M Rivain, T Roche, FX Standaert, ... Cryptology ePrint Archive, 2023 | 1 | 2023 |
Secure and Verified Cryptographic Implementations in the Random Probing Model AR Taleb Sorbonne Université, 2023 | | 2023 |
VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations Q Meunier, A Taleb 20th International Conference on Security and Cryptography 1, 520-527, 2023 | | 2023 |
VeriSiCC: Verification of Side-Channel Countermeasures AR TALEB, S BELAID | | 2020 |
Random Probing Expansion: Quasi Linear Gadgets & Dynamic Compilers S Belaıd, M Rivain, AR Taleb, D Vergnaud | | |