Yann Hamdaoui

A Non Asymptotic Analysis of Information Set Decoding

Nicolas Sendrier, Yann Hamdaoui, N. Sendrier, 2013, IACR Cryptol. ePrint Arch..

Union and intersection contracts are hard, actually

Arnaud Spiwack, Yann Hamdaoui, Teodoro Freund, 2021, Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages.

Interpreting a concurrent $\lambda$-calculus in differential proof nets (extended version)

Yann Hamdaoui, 2021 .

An Interactive Proof of Termination for a Concurrent $\lambda$-calculus with References and Explicit Substitutions

Yann Hamdaoui, Benoit Valiron, 2021 .