A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics ⋆

François Delobel, Patrick Derbez, Arthur Gontier, Loïc Rouquette, Christine Solnon. A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics ⋆. INDOCRYPT 2023 - 24th International Conference on Cryptology in India, Dec 2023, Goa, India. pp.1-23. ⟨hal-04343593⟩

Automatic Search of Rectangle Attacks on Feistel Ciphers: Application to WARP

Virginie Lallemand, Marine Minier, Loïc Rouquette. Automatic Search of Rectangle Attacks on Feistel Ciphers: Application to WARP. IACR Transactions on Symmetric Cryptology, 2022, 2022 (2), pp.113-140. ⟨10.46586/tosc.v2022.i2.113-140⟩. ⟨hal-03760280⟩

And Rijndael? Automatic Related-key Differential Analysis of Rijndael

Loïc Rouquette, David Gerault, Marine Minier, Christine Solnon. And Rijndael? Automatic Related-key Differential Analysis of Rijndael. AfricaCrypt 2022 - 13th International Conference on Cryptology in Africa, Jul 2022, Fes, Morocco. pp.150-175, ⟨10.1007/978-3-031-17433-9_7⟩. ⟨hal-03671013⟩

Utilisation de la Programmation par contrainte appliquée à la cryptanalyse différentielle

Loïc Rouquette, Christine Solnon. Utilisation de la Programmation par contrainte appliquée à la cryptanalyse différentielle. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595449⟩

Improving scalability and reusability of differential cryptanalysis models using constraint programming

Loïc Rouquette. Improving scalability and reusability of differential cryptanalysis models using constraint programming. Operations Research [math.OC]. INSA de Lyon, 2022. English. ⟨NNT : 2022ISAL0094⟩. ⟨tel-03894661v3⟩

abstractXOR: A global constraint dedicated to differential cryptanalysis

Loïc Rouquette, Christine Solnon. abstractXOR: A global constraint dedicated to differential cryptanalysis. 26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.566--584, ⟨10.1007/978-3-030-58475-7_33⟩. ⟨hal-02899338⟩

Contrainte globale abstractXOR : résultats de complexité et algorithmes de propagation

Loïc Rouquette, Christine Solnon. Contrainte globale abstractXOR : résultats de complexité et algorithmes de propagation. Journées Francophones de Programmation par Contraintes (JFPC), 2019, Albi, France. ⟨hal-02147858⟩