Je suis Florian, ingénieur de recherche au CEA-List, à Saclay.

J’aime ce qui a trait à la sécurité des canaux auxiliaires, la sécurité des logiciels embarqués, l’implémentation sûre, la vérification formelle.

Grâce à mon parcours, j’ai aussi une forte appétence pour la cryptologie et notamment : le chiffrement homomorphe, le chiffrement à seuil, la crypto post-quantique et la cryptanalyse.

Dernièrement, j’ai découvert les méthodes formelles et j’aime beaucoup.

Actuellement

Mon travail consiste à développer l’accessiblité de BINSEC, côté utilisateur et côté moteur.

Je développe des outils pour permettre un usage simplifié.

Prochainement

Je souhaite me spécialiser en sécurité des canaux auxiliaires et je voudrais poursuivre avec un doctorat.