abstractXOR: A global constraint dedicated to differential cryptanalysis. - Loïc Rouquette; Christine Solnon (CP, 2020)

And Rijndael?: Automatic Related-Key Differential Analysis of Rijndael. - Loïc Rouquette; David Gérault; Marine Minier; Christine Solnon (AFRICACRYPT, 2022)

Automatic Search of Rectangle Attacks on Feistel Ciphers: Application to WARP. - Virginie Lallemand; Marine Minier; Loïc Rouquette (IACR Trans. Symmetric Cryptol., 2022)

Improving scalability and reusability of differential cryptanalysis models using constraint programming. (Amélioration du passage à l'échelle et de la réutilisabilité des modèles de cryptanalyse différentielle à l'aide de la programmation par contraintes). - Loïc Rouquette (2022)

A CP-Based Automatic Tool for Instantiating Truncated Differential Characteristics. - François Delobel; Patrick Derbez; Arthur Gontier; Loïc Rouquette; Christine Solnon (INDOCRYPT (1), 2023)

A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics - Extended Version. - François Delobel; Patrick Derbez; Arthur Gontier; Loïc Rouquette; Christine Solnon (IACR Cryptol. ePrint Arch., 2023)

Automatic boomerang attacks search on Rijndael. - Loïc Rouquette; Marine Minier; Christine Solnon (J. Math. Cryptol., 2024)