Abdul Rahman Taleb

According to our database, Abdul Rahman Taleb authored at least 18 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.

Pascal Lafourcade, Dhekra Mahmoud, Abdul Rahman Taleb, Sylvain Ruhault

Dataset, August, 2025

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.

Pascal Lafourcade, Dhekra Mahmoud, Abdul Rahman Taleb, Sylvain Ruhault

Dataset, June, 2025

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.

Pascal Lafourcade, Dhekra Mahmoud, Abdul Rahman Taleb, Sylvain Ruhault

Dataset, June, 2025

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.

Pascal Lafourcade, Dhekra Mahmoud, Abdul Rahman Taleb, Sylvain Ruhault

Dataset, May, 2025

SoK: A Methodology to Achieve Provable Side-Channel Security in Real-World Implementations.

Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Rahman Taleb

IACR Commun. Cryptol., 2025

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.

Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb

Proceedings of the 34th USENIX Security Symposium, 2025

2024

Quarantined-TreeKEM: A Continuous Group Key Agreement for MLS, Secure in Presence of Inactive Users.

Céline Chevalier, Guirec Lebrun, Ange Martinelli, Abdul Rahman Taleb

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Formal Definition and Verification for Combined Random Fault and Random Probing Security.

Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Secure and Verified Cryptographic Implementations in the Random Probing Model. (Implémentations cryptographiques sûres et vérifiées dans le modèle random probing).

Abdul Rahman Taleb

PhD thesis, 2023

Towards Achieving Provable Side-Channel Security in Practice.

Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Rahman Taleb

IACR Cryptol. ePrint Arch., 2023

VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations.

Quentin L. Meunier, Abdul Rahman Taleb

Proceedings of the 20th International Conference on Security and Cryptography, 2023

Unifying Freedom and Separation for Tight Probing-Secure Composition.

Sonia Belaïd, Gaëtan Cassiers, Matthieu Rivain, Abdul Rahman Taleb

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

2022

IronMask: Versatile Verification of Masking Security.

Sonia Belaïd, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Speeding-up verification of digital signatures.

Abdul Rahman Taleb, Damien Vergnaud

J. Comput. Syst. Sci., 2021

On the Power of Expansion: More Efficient Constructions in the Random Probing Model.

Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity.

Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb, Damien Vergnaud

Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

2020

Age estimation from faces using deep learning: A comparative analysis.

Alice Othmani, Abdul Rahman Taleb, Hazem Abdelkawy, Abdenour Hadid

Comput. Vis. Image Underst., 2020

Random Probing Security: Verification, Composition, Expansion and New Constructions.

Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020