Research

Latest research subjects

Sujet de recherche: Analyse automatique de proprietes dequivalence pour les protocoles cryptographiques
Sujet de recherche: Modelisation et optimisation bi-objectif et multi-periode avec anticipation dune place de marche de prospects Internet

Research activity per year