Yann Hamdaoui

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 4

Top Topics

Rewrite Systems

Sequent Calculus

Proof Procedure

Top Venues

IACR Cryptol. ePrint Arch.

Sorbonne Paris Cité, France (PHD)

Education History

Sorbonne Paris Cité, France

PHD

Publications

Yann Hamdaoui, Benoît Valiron
An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions. CoRR (2021)
Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack
Union and intersection contracts are hard, actually. DLS (2021)
Yann Hamdaoui
Interpreting a concurrent λ-calculus in differential proof nets (extended version). CoRR (2021)
Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack
Union and intersection contracts are hard, actually. CoRR (2021)
Yann Hamdaoui, Nicolas Sendrier
A Non Asymptotic Analysis of Information Set Decoding. IACR Cryptol. ePrint Arch. 2013 (2013)