Abdul Rahman Taleb

22 papers A* 3C 1Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.
USENIX Security Symposium
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb
2025 J jnl
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.
IACR Cryptol. ePrint Arch.
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb
2025 J jnl
SoK: A Methodology to Achieve Provable Side-Channel Security in Real-World Implementations.
IACR Commun. Cryptol.
Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Rahman Taleb
2024 — conf
Formal Definition and Verification for Combined Random Fault and Random Probing Security.
ASIACRYPT (7)
Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
2024 J jnl
Formal Definition and Verification for Combined Random Fault and Random Probing Security.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
2024 A* conf
Quarantined-TreeKEM: A Continuous Group Key Agreement for MLS, Secure in Presence of Inactive Users.
CCS
Céline Chevalier, Guirec Lebrun, Ange Martinelli, Abdul Rahman Taleb
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
2023 J jnl
Towards Achieving Provable Side-Channel Security in Practice.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Rahman Taleb
2023 — conf
Unifying Freedom and Separation for Tight Probing-Secure Composition.
CRYPTO (3)
Sonia Belaïd, Gaëtan Cassiers, Matthieu Rivain, Abdul Rahman Taleb
2023 J jnl
Unifying Freedom and Separation for Tight Probing-Secure Composition.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Gaëtan Cassiers, Matthieu Rivain, Abdul Rahman Taleb
2023 C conf
VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations.
SECRYPT
Quentin L. Meunier, Abdul Rahman Taleb
2023 J jnl
VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations.
IACR Cryptol. ePrint Arch.
Quentin L. Meunier, Abdul Rahman Taleb
2022 A* conf
IronMask: Versatile Verification of Masking Security.
SP
Sonia Belaïd, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb
2021 — conf
Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity.
ASIACRYPT (2)
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb, Damien Vergnaud
2021 J jnl
Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb, Damien Vergnaud
2021 J jnl
IronMask: Versatile Verification of Masking Security.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb
2021 — conf
On the Power of Expansion: More Efficient Constructions in the Random Probing Model.
EUROCRYPT (2)
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb
2021 J jnl
On the Power of Expansion: More Efficient Constructions in the Random Probing Model.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb
2021 J jnl
Speeding-up verification of digital signatures.
J. Comput. Syst. Sci.
Abdul Rahman Taleb, Damien Vergnaud
2020 J jnl
Age estimation from faces using deep learning: A comparative analysis.
Comput. Vis. Image Underst.
Alice Othmani, Abdul Rahman Taleb, Hazem Abdelkawy, Abdenour Hadid
2020 — conf
Random Probing Security: Verification, Composition, Expansion and New Constructions.
CRYPTO (1)
Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb
2020 J jnl
Random Probing Security: Verification, Composition, Expansion and New Constructions.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb