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.