Author of the publication

CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives.

, , , , , , and . SAC, volume 14201 of Lecture Notes in Computer Science, page 387-408. Springer, (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

Security analysis of contactless communication protocols. (Analyse de sécurité des protocoles de communication sans contact).. University of Clermont Auvergne, Clermont-Ferrand, France, (2018)A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences., , , and . IACR Cryptol. ePrint Arch., (2022)Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives., , , , , , , and . IACR Cryptol. ePrint Arch., (2024)Verifiable and Private Oblivious Polynomial Evaluation., , , , and . WISTP, volume 12024 of Lecture Notes in Computer Science, page 49-65. Springer, (2019)Distance bounding under different assumptions: opinion., and . WiSec, page 245-248. ACM, (2019)Analysis of AES, SKINNY, and Others with Constraint Programming., , , , , , and . IACR Trans. Symmetric Cryptol., 2017 (1): 281-306 (2017)Computing AES related-key differential characteristics with constraint programming., , , and . Artif. Intell., (2020)Exploring Differential-Based Distinguishers and Forgeries for ASCON., , and . IACR Trans. Symmetric Cryptol., 2021 (3): 102-136 (2021)Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP., , , , and . IACR Trans. Symmetric Cryptol., 2023 (2): 189-223 (2023)Towards Secure TMIS Protocols., and . FPS, volume 12056 of Lecture Notes in Computer Science, page 337-344. Springer, (2019)