Baptisé miTLS, le projet commun de Microsoft Research et de l’Inria a pour objectif de proposer à terme un système sécurisé, prouvé mathématiquement, qui viendrait garantir les transactions en ligne. Dans ce contexte, les deux laboratoires, associés depuis 2006 dans un centre de recherche commun, viennent de publier leurs résultats autour du protocole TLS. Toute la communauté scientifique, et en particulier les acteurs de la sécurité informatique, peut ainsi bénéficier de ces données pour concevoir leur propre mise en œuvre de ce protocole. Outre la sécurité des services en ligne, le centre de recherche axe son travail sur le machine learning, les méthodes formelles et la protection des données privées sur la Toile.