Author of the publication

VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations.

, and . SECRYPT, page 520-527. SCITEPRESS, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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).. Sorbonne University, Paris, France, (2023)Speeding-up verification of digital signatures., and . J. Comput. Syst. Sci., (2021)IronMask: Versatile Verification of Masking Security., , , and . IACR Cryptol. ePrint Arch., (2021)Towards Achieving Provable Side-Channel Security in Practice., , , , , , and . IACR Cryptol. ePrint Arch., (2023)On the Power of Expansion: More Efficient Constructions in the Random Probing Model., , and . EUROCRYPT (2), volume 12697 of Lecture Notes in Computer Science, page 313-343. Springer, (2021)VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations., and . SECRYPT, page 520-527. SCITEPRESS, (2023)Random Probing Security: Verification, Composition, Expansion and New Constructions., , , , and . CRYPTO (1), volume 12170 of Lecture Notes in Computer Science, page 339-368. Springer, (2020)Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity., , , and . ASIACRYPT (2), volume 13091 of Lecture Notes in Computer Science, page 157-188. Springer, (2021)IronMask: Versatile Verification of Masking Security., , , and . SP, page 142-160. IEEE, (2022)Unifying Freedom and Separation for Tight Probing-Secure Composition., , , and . CRYPTO (3), volume 14083 of Lecture Notes in Computer Science, page 440-472. Springer, (2023)