Arthur Gontier

According to our database, Arthur Gontier authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.

Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2023

Cryptanalysis of symmetric cipher using generic solvers. (Utilisation de solveurs génériques pour la cryptanalyse de chiffrements symétriques).

Arthur Gontier

PhD thesis, 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

A CP-Based Automatic Tool for Instantiating Truncated Differential Characteristics.

François Delobel, Patrick Derbez, Arthur Gontier, Loïc Rouquette, Christine Solnon

Proceedings of the Progress in Cryptology - INDOCRYPT 2023, 2023

2022

New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks.

Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme

Proceedings of the Progress in Cryptology - INDOCRYPT 2022, 2022

2021

A Simpler Model for Recovering Superpoly onTrivium.

Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme

IACR Cryptol. ePrint Arch., 2021

A Simpler Model for Recovering Superpoly on Trivium.

Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme

Proceedings of the Selected Areas in Cryptography - 28th International Conference, 2021