Présentation

Je suis étudiant en informatique fondamentale, actuellement en deuxième année de Master à l’École Normale Supérieure de Lyon.

Contact

prenom.nom AT ens-lyon.org

Publications

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.

Stages

L3: J’ai effectué un stage été 2015 à l’UPMC (Paris), dans l’équipe WHISPER, sous la supervision de Pierre-Évariste Dagand et Julia Lawall, où j’ai travaillé sur une formalisation en Coq/SSReflect des entiers machines d’OCaml ainsi que leur correspondance avec des ensembles finis d’entiers. Le code est disponible ici pour la partie « entiers machines » et pour les relations avec les ensembles finis.

M1: J’ai effectué un projet de recherche au JAIST sous la supervision de Tachio Terauchi, où j’ai travaillé sur les techniques permettant automatiquement de transformer un programme sensible aux attaques par canaux auxiliaires en un programme équivalent y résistant.

M2: Je suis actuellement en stage avec Gilles Barthe à IMDEA sur la vérification d’implémentations Constant-Time.