Nous avons aussi un projet commun avec D. Bolignano des laboratoires de recherche de Bull au sein de l'action 8 du GIE Dyade (Bull-INRIA). D. Bolignano a développé une axiomatisation de protocoles sécuritaires en Coq.
