Rémi Hutin

Présentation

---

Je suis docteur-agrégé en informatique.

J'étais auparavant doctorant, de Septembre 2018 à Août 2021, dans l'équipe Celtique, à l'IRISA / Inria Rennes / ENS Rennes. J'étais encadré par Sandrine Blazy et David Pichardie. Ma thèse porte sur la préservation de propriétés de sécurité pendant la compilation de programmes.

Je suis un ancien élève du département Informatique de l'École normale supérieure de Rennes.

Enseignement

---

2020/2021	Initiation au génie logiciel - GEN. Programmation orientée object, programmation fonctionnelle en Scala, architecture logicielle, tests unitaires et tests d'intégration, git, test-driven development. Système et Réseaux - ArcSys1. Introduction à la programmation en C et au réseau. Informatique 1 - INF1. Introduction à la programmation en Java.
2019/2020	Initiation au génie logiciel - GEN. Système et Réseaux - ArcSys1.
2018/2019	Initiation au génie logiciel - GEN. Système et Réseaux - ArcSys1. Évaluation des vulnérabilités logicielles - EVL.
2017/2018	Initiation au génie logiciel - GEN.

Publications

---

Vous pouvez également consulter ma bibliographie sur dblp.

2021	Verified Secure Compilation against Timing Side-Channels. pdf Thèse de doctorat.
2021	Secure Compilation of Constant-Resource Programs. pdf avec Gilles Barthe, Sandrine Blazy and David Pichardie. 34th IEEE Computer Security Foundations Symposium (CSF), 2021.
2020	Formal Verification of a Constant-Time Preserving C Compiler. pdf avec Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Vincent Laporte David Pichardie and Alix Trieu. 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2020. Project page
2019	Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions. pdf avec Sandrine Blazy. 8th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), 2019. Project page

Contact

---