Ingénierie

Equipe Modeling and Verification (MoVe)
Laboratoire d’Informatique de Paris 6
Sorbonne Université
CNRS UMR 7606

Biographie

Missions

Responsable des stages :

Logique

Développement de logiciels sécurisés

Intervention dans les stages :

  • Logique
  • Développement de logiciels sécurisés

Techniques maîtrisées :

  • Application des méthodes formelles à la sécurité (contrôle d’accès, contrôle de flots d’information), sémantique des langages de programmation

Laboratoire de recherche actuel :

  • Equipe Modeling and Verification (MoVe), Laboratoire d’Informatique de Paris 6 – CNRS UMR 7606

Références

Publications sélectionnées