Search dblp for Publications

export results for "Abdul Rahman Taleb"

 download as .bib file

@article{DBLP:journals/iacr/BelaidFGGRRST24,
  author       = {Sonia Bela{\"{\i}}d and
                  Jakob Feldtkeller and
                  Tim G{\"{u}}neysu and
                  Anna Guinet and
                  Jan Richter{-}Brockmann and
                  Matthieu Rivain and
                  Pascal Sasdrich and
                  Abdul Rahman Taleb},
  title        = {Formal Definition and Verification for Combined Random Fault and Random
                  Probing Security},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {757},
  year         = {2024},
  url          = {https://eprint.iacr.org/2024/757},
  timestamp    = {Wed, 29 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/BelaidFGGRRST24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Taleb23,
  author       = {Abdul Rahman Taleb},
  title        = {Secure and Verified Cryptographic Implementations in the Random Probing
                  Model. (Impl{\'{e}}mentations cryptographiques s{\^{u}}res et
                  v{\'{e}}rifi{\'{e}}es dans le mod{\`{e}}le random probing)},
  school       = {Sorbonne University, Paris, France},
  year         = {2023},
  url          = {https://tel.archives-ouvertes.fr/tel-04457258},
  timestamp    = {Sat, 23 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/hal/Taleb23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BelaidCRT23,
  author       = {Sonia Bela{\"{\i}}d and
                  Ga{\"{e}}tan Cassiers and
                  Matthieu Rivain and
                  Abdul Rahman Taleb},
  editor       = {Helena Handschuh and
                  Anna Lysyanskaya},
  title        = {Unifying Freedom and Separation for Tight Probing-Secure Composition},
  booktitle    = {Advances in Cryptology - {CRYPTO} 2023 - 43rd Annual International
                  Cryptology Conference, {CRYPTO} 2023, Santa Barbara, CA, USA, August
                  20-24, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14083},
  pages        = {440--472},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38548-3\_15},
  doi          = {10.1007/978-3-031-38548-3\_15},
  timestamp    = {Mon, 14 Aug 2023 16:16:26 +0200},
  biburl       = {https://dblp.org/rec/conf/crypto/BelaidCRT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/MeunierT23,
  author       = {Quentin L. Meunier and
                  Abdul Rahman Taleb},
  editor       = {Sabrina De Capitani di Vimercati and
                  Pierangela Samarati},
  title        = {VerifMSI: Practical Verification of Hardware and Software Masking
                  Schemes Implementations},
  booktitle    = {Proceedings of the 20th International Conference on Security and Cryptography,
                  {SECRYPT} 2023, Rome, Italy, July 10-12, 2023},
  pages        = {520--527},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0012138600003555},
  doi          = {10.5220/0012138600003555},
  timestamp    = {Mon, 31 Jul 2023 15:34:21 +0200},
  biburl       = {https://dblp.org/rec/conf/secrypt/MeunierT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BelaidCMRRST23,
  author       = {Sonia Bela{\"{\i}}d and
                  Ga{\"{e}}tan Cassiers and
                  Camille Mutschler and
                  Matthieu Rivain and
                  Thomas Roche and
                  Fran{\c{c}}ois{-}Xavier Standaert and
                  Abdul Rahman Taleb},
  title        = {Towards Achieving Provable Side-Channel Security in Practice},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1198},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1198},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/BelaidCMRRST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BelaidCRT23,
  author       = {Sonia Bela{\"{\i}}d and
                  Ga{\"{e}}tan Cassiers and
                  Matthieu Rivain and
                  Abdul Rahman Taleb},
  title        = {Unifying Freedom and Separation for Tight Probing-Secure Composition},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {835},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/835},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/BelaidCRT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MeunierT23,
  author       = {Quentin L. Meunier and
                  Abdul Rahman Taleb},
  title        = {VerifMSI: Practical Verification of Hardware and Software Masking
                  Schemes Implementations},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {732},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/732},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/MeunierT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BelaidMRT22,
  author       = {Sonia Bela{\"{\i}}d and
                  Darius Mercadier and
                  Matthieu Rivain and
                  Abdul Rahman Taleb},
  title        = {IronMask: Versatile Verification of Masking Security},
  booktitle    = {43rd {IEEE} Symposium on Security and Privacy, {SP} 2022, San Francisco,
                  CA, USA, May 22-26, 2022},
  pages        = {142--160},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SP46214.2022.9833600},
  doi          = {10.1109/SP46214.2022.9833600},
  timestamp    = {Thu, 21 Sep 2023 15:57:27 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/BelaidMRT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/TalebV21,
  author       = {Abdul Rahman Taleb and
                  Damien Vergnaud},
  title        = {Speeding-up verification of digital signatures},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {116},
  pages        = {22--39},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jcss.2020.08.005},
  doi          = {10.1016/J.JCSS.2020.08.005},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/TalebV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiacrypt/BelaidRTV21,
  author       = {Sonia Bela{\"{\i}}d and
                  Matthieu Rivain and
                  Abdul Rahman Taleb and
                  Damien Vergnaud},
  editor       = {Mehdi Tibouchi and
                  Huaxiong Wang},
  title        = {Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity},
  booktitle    = {Advances in Cryptology - {ASIACRYPT} 2021 - 27th International Conference
                  on the Theory and Application of Cryptology and Information Security,
                  Singapore, December 6-10, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13091},
  pages        = {157--188},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-92075-3\_6},
  doi          = {10.1007/978-3-030-92075-3\_6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asiacrypt/BelaidRTV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BelaidRT21,
  author       = {Sonia Bela{\"{\i}}d and
                  Matthieu Rivain and
                  Abdul Rahman Taleb},
  editor       = {Anne Canteaut and
                  Fran{\c{c}}ois{-}Xavier Standaert},
  title        = {On the Power of Expansion: More Efficient Constructions in the Random
                  Probing Model},
  booktitle    = {Advances in Cryptology - {EUROCRYPT} 2021 - 40th Annual International
                  Conference on the Theory and Applications of Cryptographic Techniques,
                  Zagreb, Croatia, October 17-21, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12697},
  pages        = {313--343},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77886-6\_11},
  doi          = {10.1007/978-3-030-77886-6\_11},
  timestamp    = {Mon, 28 Aug 2023 21:17:52 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocrypt/BelaidRT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BelaidMRT21,
  author       = {Sonia Bela{\"{\i}}d and
                  Darius Mercadier and
                  Matthieu Rivain and
                  Abdul Rahman Taleb},
  title        = {IronMask: Versatile Verification of Masking Security},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1671},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/1671},
  timestamp    = {Thu, 13 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/BelaidMRT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BelaidRT21,
  author       = {Sonia Bela{\"{\i}}d and
                  Matthieu Rivain and
                  Abdul Rahman Taleb},
  title        = {On the Power of Expansion: More Efficient Constructions in the Random
                  Probing Model},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {434},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/434},
  timestamp    = {Thu, 22 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/BelaidRT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BelaidRTV21,
  author       = {Sonia Bela{\"{\i}}d and
                  Matthieu Rivain and
                  Abdul Rahman Taleb and
                  Damien Vergnaud},
  title        = {Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1455},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/1455},
  timestamp    = {Fri, 12 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/BelaidRTV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cviu/OthmaniTAH20,
  author       = {Alice Othmani and
                  Abdul Rahman Taleb and
                  Hazem Abdelkawy and
                  Abdenour Hadid},
  title        = {Age estimation from faces using deep learning: {A} comparative analysis},
  journal      = {Comput. Vis. Image Underst.},
  volume       = {196},
  pages        = {102961},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.cviu.2020.102961},
  doi          = {10.1016/J.CVIU.2020.102961},
  timestamp    = {Mon, 22 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cviu/OthmaniTAH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BelaidCPRT20,
  author       = {Sonia Bela{\"{\i}}d and
                  Jean{-}S{\'{e}}bastien Coron and
                  Emmanuel Prouff and
                  Matthieu Rivain and
                  Abdul Rahman Taleb},
  editor       = {Daniele Micciancio and
                  Thomas Ristenpart},
  title        = {Random Probing Security: Verification, Composition, Expansion and
                  New Constructions},
  booktitle    = {Advances in Cryptology - {CRYPTO} 2020 - 40th Annual International
                  Cryptology Conference, {CRYPTO} 2020, Santa Barbara, CA, USA, August
                  17-21, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12170},
  pages        = {339--368},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-56784-2\_12},
  doi          = {10.1007/978-3-030-56784-2\_12},
  timestamp    = {Wed, 12 Aug 2020 14:16:56 +0200},
  biburl       = {https://dblp.org/rec/conf/crypto/BelaidCPRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BelaidCPRT20,
  author       = {Sonia Bela{\"{\i}}d and
                  Jean{-}S{\'{e}}bastien Coron and
                  Emmanuel Prouff and
                  Matthieu Rivain and
                  Abdul Rahman Taleb},
  title        = {Random Probing Security: Verification, Composition, Expansion and
                  New Constructions},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {786},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/786},
  timestamp    = {Mon, 27 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/BelaidCPRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}