Recherche et Publications

Mes travaux de recherches portent sur la sécurité informatique, la cryptographie et les preuves formelles.
Ils ont été réalisés au sein du LIMOS et au sein de VERIMAG

Publications

Les publications suivantes sont récupérées de HAL Archives ouvertes