Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks

Résumé : La sécurité est une des préoccupations principales de l'informatique moderne. De plus en plus de personnes utilisent un ordinateur pour des opérations sensibles comme pour des transferts bancaires, des achats sur internet, le payement des impôts ou même pour voter. La plupart de ces utilisateurs ne savent pas comment la sécurité est assurée, par conséquence ils font totalement confiance à leurs applications. Souvent ces applications utilisent des protocoles cryptographiques qui sont sujet à erreur, comme le montre la célèbre faille de sécurité découverte sur le protocole de Needham-Schroeder dix-sept ans après sa publication. Ces erreurs proviennent de plusieurs aspects : -- Les preuves de primitives cryptographiques peuvent contenir des erreurs. -- Les propriétés de sécurité ne sont pas bien spécifiées, par conséquence, il n'est pas facile d'en faire la preuve. -- Les hypothèses faites sur le modèle de l'intrus sont trop restrictives. Dans cette habilitation, nous présentons des méthodes formelles pour vérifier la sécurité selon ces trois aspects. Tout d'abord, nous construisons des logiques de Hoare afin de prouver la sécurité de primitives cryptographiques comme les chiffrements à clef publique, les modes de chiffrement asymétriques et les codes d'authentification de message ( Message authentication codes, MACs). Nous étudions aussi les protocoles de votes électroniques et les réseaux de capteus sans fil ( Wireless Sensor Networks, WSNs ). Dans ces deux domaines, nous analysons les propriétés de sécurité afin de les modéliser formellement. Ensuite nous développons des techniques appropriées afin de les vérifier.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [206 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00807568
Contributor : Pascal Lafourcade <>
Submitted on : Wednesday, April 3, 2013 - 10:37:21 PM
Last modification on : Friday, July 17, 2020 - 11:48:05 AM
Document(s) archivé(s) le : Sunday, April 2, 2017 - 11:49:21 PM

File

Identifiers

  • HAL Id : tel-00807568, version 1

Collections

Citation

Pascal Lafourcade. Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks. Cryptography and Security [cs.CR]. Université de Grenoble, 2012. ⟨tel-00807568⟩

Share

Metrics

Record views

437

Files downloads

892