Supervision : Damien VERGNAUD

Secure and verified cryptographic implementations in the random probing model

2020-2021 Publications

• 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)