| 2024 | ASIACRYPT | Formal Definition and Verification for Combined Random Fault and Random Probing Security. | Sonia Belad, Jakob Feldtkeller, Tim Gneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb |
| 2024 | CCS | Quarantined-TreeKEM: A Continuous Group Key Agreement for MLS, Secure in Presence of Inactive Users. | Cline Chevalier, Guirec Lebrun, Ange Martinelli, Abdul Rahman Taleb |
| 2023 | CRYPTO | Unifying Freedom and Separation for Tight Probing-Secure Composition. | Sonia Belad, Gatan Cassiers, Matthieu Rivain, Abdul Rahman Taleb |
| 2023 | SECRYPT | VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations. | Quentin L. Meunier, Abdul Rahman Taleb |
| 2022 | SP | IronMask: Versatile Verification of Masking Security. | Sonia Belad, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb |
| 2021 | ASIACRYPT | Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity. | Sonia Belad, Matthieu Rivain, Abdul Rahman Taleb, Damien Vergnaud |
| 2021 | EuroCrypt | On the Power of Expansion: More Efficient Constructions in the Random Probing Model. | Sonia Belad, Matthieu Rivain, Abdul Rahman Taleb |
| 2020 | CRYPTO | Random Probing Security: Verification, Composition, Expansion and New Constructions. | Sonia Belad, Jean-Sbastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb |