Nicolas Bellec

About me

I am currently an post-doctoral researcher at CEA LIST, Saclay under the direction of Sébastien Bardin. Before that, I was a Temporary research and teaching assistants at CentraleSupélec, Rennes in the CIDRE team 2022 to 2023. I did my thesis under the supervision of Isabelle Puaut, Guillaume Hiet, Frédéric Tronel and Simon Rokicki in the PACAP team at IRISA, Rennes from 2019 to 2023.

Research

My research focuses on:

• Program Analysis
• Software Security
• Compilation
• Real-time systems

My thesis is about improving the security of hard real-time embedded systems. My goal is to improve it againt memory corruption attacks, using static analysis and compilation. Here is my CV (last update: 26/04/2023).

Publications

You can find my publication list on DBLP here.

• 2022: [BHRTP22] RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems ECRTS2022. Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut ;
• 2020: [BRP20] Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems ECRTS2020. Nicolas Bellec, Simon Rokicki, Isabelle Puaut

Implementation

You can find my gitlab page at: inria gitlab page.

Talks

Scheduled talks:

Previous talks:

• June 2023 : GDR-GPL Day at Rennes;
• May 2023 Thesis Defense ;
• 2022 ELSE Seminar (presentation of my PhD work) ;
• 2022 D3 PhD Days ;
• 2022 ECRTS ;
• 2022 CIDRE Seminar ;
• 2020 ECRTS ;