Security of cryptographic protocols and data structures : design and optimisation - ENS - École normale supérieure Accéder directement au contenu
Thèse Année : 2021

Security of cryptographic protocols and data structures : design and optimisation

Sécurité des protocoles et structures de données : modélisation et optimisation

Marius Lombard-Platet
  • Fonction : Auteur
  • PersonId : 1222206
  • IdRef : 267433999

Résumé

In this thesis, we are interested in two major themes: data security in exchange protocols, and the analysis and securing of data structures. To do so, we apply formal analyses, based on existing cryptographic tools as well as ad-hoc modelling for the problem under consideration. Firstly, we will study the security of duplicate detectors, as well as an optimisation of the use of available storage space. Then, we will turn to a practical modelling case, proposing a new formal model for blockchain. Finally, we will study the problem of outsourcing bandit learning protocols. We will see how to outsource calculations, while proving that the network learns as little as possible.
Dans cette thèse, nous nous intéresserons à deux thématiques majeures : la sécurité des données dans des protocoles d'échange cryptographiques, ainsi que l'analyse et la sécurisation des structures de données. Pour cela, nous appliquons des analyses formelles, reposant autant sur des outils cryptographiques existants que des modélisations ad-hoc pour le problème envisagé. En premier lieu, nous étudierons la sécurité de détecteurs de doublons, ainsi qu'une optimisation de l'utilisation de l'espace de stockage disponible. Ensuite, nous nous tournerons sur un cas pratique de modélisation, proposant un nouveau modèle formel pour la blockchain. Enfin, nous nous pencherons sur la problématique d'externalisation de protocoles de bandit manchot. Nous verrons comment externaliser les calculs, tout en prouvant que les nœuds du réseau apprennent aussi peu d'information que possible.
Fichier principal
Vignette du fichier
Lombard-Platet_2021_These.pdf (2.24 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03968025 , version 1 (01-02-2023)

Identifiants

  • HAL Id : tel-03968025 , version 1

Citer

Marius Lombard-Platet. Security of cryptographic protocols and data structures : design and optimisation. Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE045⟩. ⟨tel-03968025⟩
49 Consultations
128 Téléchargements

Partager

Gmail Facebook X LinkedIn More