Description
Les protocoles de PIR (Private Information Retrieval) permettent à un utilisateur de récupérer des entrées d'une base de donnée externalisée, sans révéler d'information sur les entrées désirées. Si plusieurs serveurs sont utilisés pour le stockage, et s'ils ne coopèrent pas, une confidentialité inconditionnelle peut être atteinte grâce à des encodages spécifiques de la base de données.<br/> Dans cet exposé, on s'intéressera à un encodage générique, issu d'objets combinatoires appelés designs transversaux. On montrera que le protocole de PIR qui en découle admet une communication raisonnable et exige très peu de calcul pour les serveurs (contrairement à beaucoup de protocoles de PIR existant). On présentera enfin des instances de notre construction générique, ainsi qu'une généralisation au contexte de serveurs complices.
Next sessions
-
CryptoVerif: a computationally-sound security protocol verifier
Speaker : Bruno Blanchet - Inria
CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]-
Cryptography
-