Abdul Rahman Taleb

According to our database1, Abdul Rahman Taleb authored at least 12 papers between 2020 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Definition and Verification for Combined Random Fault and Random Probing Security.
IACR Cryptol. ePrint Arch., 2024

Quarantined-TreeKEM: A Continuous Group Key Agreement for MLS, Secure in Presence of Inactive Users.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 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).
PhD thesis, 2023

VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations.
IACR Cryptol. ePrint Arch., 2023

Unifying Freedom and Separation for Tight Probing-Secure Composition.
IACR Cryptol. ePrint Arch., 2023

Towards Achieving Provable Side-Channel Security in Practice.
IACR Cryptol. ePrint Arch., 2023

2021
Speeding-up verification of digital signatures.
J. Comput. Syst. Sci., 2021

Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity.
IACR Cryptol. ePrint Arch., 2021

On the Power of Expansion: More Efficient Constructions in the Random Probing Model.
IACR Cryptol. ePrint Arch., 2021

IronMask: Versatile Verification of Masking Security.
IACR Cryptol. ePrint Arch., 2021

2020
Random Probing Security: Verification, Composition, Expansion and New Constructions.
IACR Cryptol. ePrint Arch., 2020

Age estimation from faces using deep learning: A comparative analysis.
Comput. Vis. Image Underst., 2020


  Loading...