Université de Rennes 1 A cryptographic approach to preventing unauthorized access Une approche cryptographique pour empêcher des accès non autorisés cryptographieprotocoles d'échange de clés authentifiésinterception légaleréseau 5Gattestation approfondieprotocole de sécurité de couche de transport Cryptographyauthenticated key exchange protocolslawful interception5G networkdeep attestationTransport Layer Protocol Cryptographie 5G (téléphonie mobile) La communication par voie numérique joue un rôle de plus en plus important dans notre vie. Les données échangées étant souvent sensibles ou privées, il faut veiller à ce qu'elles ne soient pas accessibles à des personnes non autorisées. Dans cette thèse, nous analysons ce problème dans plusieurs contextes et proposons une série de solutions. Nous considérons d'abord les réseaux de téléphonie mobile, où la compatibilité avec les demandes d'interception légale est une contrainte immuable. Nous proposons une nouvelle primitive appelée protocoles d'échange de clés interception légale. Notre approche permet d'établir un canal sécurisé et d'améliorer la confidentialité, tout en restant compatible avec l'interception légale. Ensuite, nous étudions la confidentialité du protocole de couche de transport version 1.3 (TLS), largement utilisé pour l'établissement de canaux sécurisés sur Internet. Nous proposons un modèle de confidentialité et montrons que TLS 1.3 préserve la confidentialité. Enfin, nous analysons les protocoles d'attestation profonde, en mettant l'accent sur la propriété de liaison. Nous proposons une approche formelle et cryptographique de ce sujet, ainsi qu'une nouvelle construction. Communication through digital means is playing an increasingly important role in our lives. As the exchanged data can often be sensitive or private, special care must be taken to prevent it from being accessed by unauthorized parties. In this thesis, we analyse this problem in several contexts and propose a series of solutions. We first consider mobile phone networks, where compatibility with lawful interception requests is an immutable constraint. We propose a new primitive called Lawful Interception Key Exchange, or LIKE. LIKE allows for secure channel establishment and increased privacy, while still being lawful interception compliant. Next, we investigate the privacy of the Transport Layer Protocol version 1.3 (TLS), widely used for secure channel establishment over the internet. We propose a model for privacy and show that TLS 1.3 is privacy-preserving in our model. Finally, we analyse deep attestation protocols, with a focus on the property of linking. We propose a formal, cryptographic approach to this topic, as well as a new construction. Electronic Thesis or DissertationText en application/pdf1 : 3703 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/ae5fe1f0-9f19-415c-be6d-55a972b50429 Nedelcu Adina 1992-10-14 RO 268413037 nedelcu.adina.ioana@gmail.com 2022REN1S080 http://www.theses.fr/2022REN1S080 2022-01-27 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiFouquePierre-Alainintervenant_1085216380AvoineGildasintervenant_207459608XLaurentMarylineintervenant_5079483658OneteCristinaintervenant_622090216XGambsSébastienintervenant_3181268973LacharmePatrickintervenant_4123495369 MATHSTICecoleDoctorale_1 204770424 IRISA partenaireRecherche_1 026386909 ddc:004 FouquePierre-AlainAvoineGildasGambsSébastienLacharmePatrickLaurentMarylineOneteCristinaUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieMATHSTICÉcole doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) IRISA ASCII PDF 3791738 restriction 2022-01-10 2022-02-15