I am a computer science student, currently in second year of Master in the École Normale Supérieure de Lyon.


firstname.lastname AT


Arthur Blot, Pierre-Évariste Dagand, Julia Lawall. From Sets to Bits in Coq. Best paper award. In Proceedings of the International Symposium on Functional and Logic Programming (FLOPS 2016), Lecture Notes in Computer Science 9613, pp 12-28, Springer, 2016.

Arthur Blot, Masaki Yamamoto, and Tachio Terauchi. Compositional Synthesis of Leakage Resilient Programs. Best-paper award nominee. In Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017), to appear.


L3: I did an internship in summer 2015 at the UPMC (Paris), in the WHISPER team, under the supervision of Pierre-Évariste Dagand and Julia Lawall, where I worked on a formalization in Coq/SSReflect of the OCaml machine integers, as well as their relation with finite sets of integers. The code is available here for the “machine integer” part and there for the relations with finite sets.

M1: I worked on a research project at JAIST under the supervision of Tachio Terauchi, where I studied techniques enabling us to automatically transform a program sensitive to side channel attacks into an equivalent leakage-resilient program.

M2: I am currently in internship with Gilles Barthe at IMDEA about the verification of constant-time implementations.