Description
Date depot: 26 août 2021
Titre: Calcul distribué sécurisé : cryptographie, combinatoire et calcul formel
Directeur de thèse:
Damien VERGNAUD (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Calcul arithmétique et formel, codage et cryptologie
Resumé: De nouveaux outils cryptographiques ont été inventés ces dernières années. Ces constructions ont ouvert la porte à des applications de calcul distribué sécurisé qui étaient auparavant considérées comme irréalisables en pratique. Les gouvernements et les organisations de sécurité, l'armée, le monde universitaire et l'industrie manifestent actuellement un vif intérêt pour ces applications.
Nous sommes proches du stade où ces protocoles peuvent être appliqués aux problèmes de sécurité du monde réel. Les principaux défis scientifiques consistent à construire des protocoles qui tiennent compte des contraintes pratiques et à prouver qu'ils sont sûrs, à les mettre en œuvre et à améliorer considérablement l'efficacité des protocoles existants. Ce PRD vise à entreprendre des recherches sur ces deux aspects tout en combinant des recherches en cryptographie, en combinatoire et en calcul formel.
Résumé dans une autre langue: New cryptographic tools have been invented in recent years. These constructions have opened the door to applications in secure distributed computation that were previously believed unattainable in practice. There is currently a strong interest from governments and security organizations, military, academia, and industry.
We are close to the stage where these protocols can be applied to real-world security issues. The main scientific challenges are to construct protocols that take into account practical constraints and prove them secure and to implement them and improve the efficiency of existing protocols significantly. This PRD aims to undertake research in these two aspects while combining research from cryptography, combinatorics, and computer algebra.
Doctorant.e: Maire Jules