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


2019/2020
  • 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.
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.

2020
2019
  • Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions.
    with Sandrine Blazy.
    8th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), 2019.
    Project page