Supervision : Damien VERGNAUD

Co-supervision : Sonia BELAÏD et Matthieu RIVAIN

Secure and verified cryptographic implementations in the random probing model

2020-2021 Publications

• 2021
  • S. Belaid, M. Rivain, A. Taleb, D. Vergnaud : “Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity”, Advances in Cryptology – Asiacrypt 2021, vol. 13091, Lecture Notes in Computer Science, Singapour, Singapore, pp. 157-188, (Springer) (2021)
  • S. Belaid, M. Rivain, A. Taleb : “On the Power of Expansion: More Efficient Constructions in the Random Probing Model”, Advances in Cryptology - EUROCRYPT 2021 - 40^th Annual International Conference on the Theory and Applications of Cryptographic Techniques, vol. 12697, Lecture Notes in Computer Science, Zagreb, Croatia, pp. 313-343, (Springer International Publishing) (2021)
  • A. Taleb, D. Vergnaud : “Speeding-Up Verification of Digital Signatures”, Journal of Computer and System Sciences, vol. 116, pp. 22-39, (Elsevier) (2021)
• 2020
  • S. Belaid, J.‑S. Coron, E. Prouff, M. Rivain, A. Taleb : “Random Probing Security: Verification, Composition, Expansion and New Constructions”, Advances in Cryptology - CRYPTO}2020 - 40^th Annual International Cryptology Conference, {CRYPTO} 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I, vol. 12170, Lecture Notes in Computer Science, Santa Barbara, CA / Virtual, United States, pp. 339-368, (Springer) (2020)