Benjamin Hellouin de Menibus, Victor Lutfalla, Pascal Vanier. Decision problems on geometric tilings. 2024. ⟨hal-04693345⟩

Julien Courtiel, Martin Pépin. Random Generation of Git Graphs. GASCom 2024, Jun 2024, Talence, France, France. pp.79-86, ⟨10.4204/EPTCS.403.18⟩. ⟨hal-04487862v2⟩

Corentin Jeudy, Adeline Roux-Langlois, Olivier Sanders. Phoenix: Hash-and-Sign with Aborts from Lattice Gadgets. PQCrypto 2024 - 15th International Conference on Post-Quantum Cryptography, Jun 2024, Oxford, United Kingdom. pp.265 - 299, ⟨10.1007/978-3-031-62743-9_9⟩. ⟨hal-04689228⟩

Etienne Grandjean, Théo Grente, Véronique Terrier. Inductive definitions in logic versus programs of real-time cellular automata. Theoretical Computer Science, 2024, 987, pp.1-69. ⟨hal-02474520⟩

Paul Dorbec, Michael Antony Henning. The 1/3-conjectures for domination in cubic graphs. 2024. ⟨hal-04427896v3⟩

Antonin Callard, Léo Paviet Salomon, Pascal Vanier. Computability of extender sets in multidimensional subshifts. 2024. ⟨hal-04390697⟩

Julien Courtiel, Paul Dorbec, Romain Lecoq. Theoretical analysis of git bisect. Algorithmica, 2023, ⟨10.1007/s00453-023-01194-0⟩. ⟨hal-04354327v2⟩

Corentin Jeudy, Adeline Roux-Langlois, Olivier Sanders. Lattice Signature with Efficient Protocols, Application to Anonymous Credentials. Crypto 2023 - 43rd Annual International Cryptology Conference, Aug 2023, Santa Barbara, United States. pp.351-383, ⟨10.1007/978-3-031-38545-2_12⟩. ⟨hal-04242499⟩

Julien Clément, Antoine Genitrini. An Iterative Approach for Counting Reduced Ordered Binary Decision Diagrams. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Aug 2023, Bordeaux, France. pp.36:1--36:15, ⟨10.4230/LIPIcs.MFCS.2023.36⟩. ⟨hal-03871300⟩

Malika Izabachène, Lucas Prabel, Adeline Roux-Langlois. Identity-Based Encryption from Lattices Using Approximate Trapdoors. ACISP 2023 - 28th Australasian Conference on Information Security and Privacy, Jul 2023, Brisbane, Australia. pp.270-290, ⟨10.1007/978-3-031-35486-1_13⟩. ⟨hal-04163136⟩