Rémi Hutin

About me

I am currently a Ph.D student since September 2018, in the Celtique group at IRISA in Rennes, France. I am supervised by Sandrine Blazy and David Pichardie. I am working on preservation of security properties during compilation.

Before that, I did an internship in 2018, supervised by Sandrine Blazy, focusing on the formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions.

I am a former student in the Computer Science and Telecommunication department of the École normale supérieure de Rennes (ENS).

Contact

E-mail:

remi.hutin@irisa.fr
remi.hutin@ens-rennes.fr

Work address:

Bureau F209, Irisa/Inria
Campus de Beaulieu
263, avenue du général Leclerc
35042 RENNES Cedex - France

Teaching

2020/2021	Initiation au génie logiciel - GEN. Introduction to software engineering. Covered topics include object-oriented programming, functional programming in Scala, software architecture, unit testing, version control and design by contract. Système et Réseaux - ArcSys1. Introduction to operating systems and networks. Informatique 1 - INF1. Introduction to programming in Java, for first year university students.
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

You can also consult my dblp bibliography.

2021	Secure Compilation of Constant-Resource Programs. pdf with Gilles Barthe, Sandrine Blazy and David Pichardie. 34^th IEEE Computer Security Foundations Symposium (CSF), 2021.
2020	Formal Verification of a Constant-Time Preserving C Compiler. pdf with Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Vincent Laporte David Pichardie and Alix Trieu. 47^th 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 with Sandrine Blazy. 8^th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), 2019. Project page