Author of the publication

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

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)Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations., , , , and . IACR Cryptol. ePrint Arch., (2020)High Order Countermeasures for Elliptic-Curve Implementations with Noisy Leakage Security., and . IACR Cryptol. ePrint Arch., (2021)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)GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited., , , , , and . CCS, page 2147-2164. ACM, (2019)maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults., , , , , and . ESORICS (1), volume 11735 of Lecture Notes in Computer Science, page 300-318. Springer, (2019)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)