Zimmer, Sébastien (2008) Cryptographic Mecanisms for Key Generation and Authentication. PhD thesis Laboratoire d'Informatique de l'Ecole normale supérieure, Laboratoire d'Informatique de l'Ecole normale supérieure, EP/X p.178.
Full text not available from this repository. |
|
Alternative Locations: http://www.imprimerie.polytechnique.fr/Theses/Files/Zimmer.pdf
Abstract
Several cryptographic tools are required to establish an authenticated channel. In this thesis, we are interested in the security of some of them, used at different levels of the protocol which establishes the channel.
In the first part, we analyze two algorithms which, used together, establish a channel which guarantees privacy, authentication and integrity: an authenticated key exchange protocol and an authenticated encryption scheme. The first one allows to generate keys using several authentication factors (biometrics, password, secure device). The second one is a standardized algorithm call CCM.
In the second part, we are interested more particularly by the key extraction phase, phase which occurs between key exchange and the establishment of the secure channel. We present a simple method to extract a symmetric key from a Diffie-Hellman element, and then analyze HMAC as a computationnal randomness extractor.
In the third part, we analyze some hash function operating modes. More precisely, we examin the security of a fixed-key blockcipher based operating mode and then study operating modes which tries to guarantee an optimal second preimage resistance.
| Item Type: | PhD Thesis (PhD) |
|---|---|
| PhD Supervisor: | Pointcheval, David |
| Date: | 22 September 2008 |
| Board of examiners: | Reynald, Lercier and Bart, Preneel and David, Pointcheval and Pierre-Alain, Fouque and Adi, Shamir and Jacques, Stern and Jean-Marc, Steyaert and Serge, Vaudenay |
| Ecole Doctorale: | ED 447 ECOLE DOCTORALE DE L'ECOLE POLYTECHNIQUE |
| Discipline: | Laboratoire d'Informatique de l'Ecole normale supérieure |
| Collection (Fonds): | Ecole Polytechnique (EP/X) |
| Institution: | EP/X |
| Department: | Laboratoire d'Informatique de l'Ecole normale supérieure |
| Subjects: | 2. Information and Communication Sciences and Technologies |
| Uncontrolled Keywords: | Cryptology, Security proof, Authentication, Key exchange, Key extraction, Operating mode, Hash function, Cryptologie, Preuve de sécurité, Authentification, échange de clefs, Extraction d'entropie, Mode opératoire, Fonction de hachage |
| ID Code: | 4271 |
| Deposited By: | Laurence Vidament |
| Deposited On: | 23 October 2008 |
Table of content
1 Introduction
2 Introduction aux preuves de sécurité
3 Authentification multi-facteurs et génération de clefs
4 Analyse d'un schéma de chiffrement authentifié symétrique
5 Extraction de clefs à partir d'un élément Diffie-Hellman
6 Etude du mode cascade et de HMAC pour l'extraction de clefs
7 Fonctions de hachage construites à partir de permutations
8 Attaque en seconde préimage contre des fonctions de hachage avec tramage
Repository Staff Only: edit this item