A Non Asymptotic Analysis of Information Set Decoding. - Yann Hamdaoui; Nicolas Sendrier (IACR Cryptol. ePrint Arch., 2013)

Concurrency, references and linear logic. (Concurrences, Références et Logique Linéaire). - Yann Hamdaoui (2018)

Union and intersection contracts are hard, actually. - Teodoro Freund; Yann Hamdaoui; Arnaud Spiwack (DLS, 2021)

An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions. - Yann Hamdaoui; Benoît Valiron (CoRR, 2021)

Interpreting a concurrent λ-calculus in differential proof nets (extended version). - Yann Hamdaoui (CoRR, 2021)