Analyse de protocoles cryptographiques afin d’assurer leur sécurité et la protection de la vie privée

Les protocoles cryptographiques sont des protocoles de sécurité reposant sur des mécanismes de cryptographie (par exemple chiffrement, signature électronique, fonction de hachage…) pour assurer la sécurité et la protection de la vie privée dans des applications telles que les cartes à puces, téléphone, tag RFID (sans-contact), passeport électronique, vote électronique et objets connectés plus généralement. Dans ce contexte la sécurité est la confidentialité des échanges et la préservation de ces contenus. L'authentification est la légitimité de la demande d’accès. Et la vie privée est l'anonymat et la non traçabilité. Après la conception du protocole, la preuve assistée par ordinateur (preuve mathématique) de certaines propriétés permet d’obtenir des garanties fortes de sécurité sur le protocole.