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