Expert en analyse statique

École Normale Supérieure

J'ai récemment soutenu ma thèse, sous la supervision de Jérôme Feret, dans l'équipe Antique à l'ENS. Je travaille à l'amélioration de l'analyseur statique Astrée pour prouver des propriétés de sécurités d'un système d'exploitation. Cela demande de faire travailler ensemble les modèles mémoire de l'assembleur et du C. De plus, Astrée doit être capable de gérer des variables fantômes pour exprimer des propriétés complexes inhérentes à la programmation bas niveau.

News

  • Novembre 2020: J'ai soutenu. Voyez plus sur ma soutenance.
  • Avril 2020: Je fais partie du commité d'évaluation des artefacts de SAS 2020.

Intérêts

  • Analyse Statique
  • Interpretation Abstraite
  • Calculabilité

Formation

  • Doctorat en informatique, 2020

    École Normale Supérieure

  • Master en informatique, 2016

    École Normale Supérieure de Lyon/EPFL

  • Licence en informatique, 2014

    École Normale Supérieure de Lyon

Projets

AstréeS

Astrée pour la Securité

Talks

Proving the Security of Software-Intensive Embedded Systems by Abstract Interpretation

Ma soutenance de thèse

Vérification de programmes par interprétation abstraite

Rapide introduction à l'interprétation abstraite

Publications

Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite

Cette thèse est consacrée à l'analyse de logiciels de bas niveau, tels que les systèmes d'exploitation, par interprétation abstraite. …

Sharing Ghost Variables in a Collection of Abstract Domains

We propose a framework in which we share ghost variables across a collection of abstract domains allowing precise proofs of complex …

Software

OColor

OCaml Afficher avec style dans votre terminal en utilisant les tags sémantiques de Format

Epictetus

OCaml Afficher des tableaux bien alignés malgré une hiérarchie changeante de sous-colonnes

Plato

OCaml Librarie standard de Python en OCaml

Socrates

Python Outil de test

Étudiant

Ancien stagiaire

Contact

  • marc.chevalier@ens.psl.eu
  • Antique - Département d'informatique
    École Normale Supérieure
    45, rue d'Ulm
    F-75230 Paris CEDEX 05, France