Séance de cours

Protection de la vie privée Crypto I : Computation sécurisée multi-parties

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours couvre Secure Multi-Party Computation (SMC) comme une boîte à outils pour l'ingénierie de la vie privée, se concentrant sur les techniques cryptographiques, les circuits booléens et arithmétiques, et des protocoles comme les Circuits Garbled de Yao. Il explique les propriétés de sécurité, les modèles de menace, et l'équivalent idéal-monde. La séance de cours s'inscrit également dans le concept de parties honnêtes mais curieuses ou malveillantes, l'utilisation de parts secrètes additives, et le partage secret de Shamir. Les applications réelles de la CSM sont discutées, comme l'étude estonienne sur les taux de graduation et la protection des données dans les organismes gouvernementaux comme le Conseil fiscal et le ministère de l'Éducation, montrant les avantages des cadres de CPM comme Sharemind.

Source officielle

Concepts associés (32)

Circuit booléen

vignette|Exemple circuit booléen à deux entrées et une sortie. Le circuit contient 3 portes logique. En théorie de la complexité, un circuit booléen est un modèle de calcul constitué de portes logiques (fonctions logiques) reliées entre elles. C'est une façon de représenter une fonction booléenne. Un circuit booléen peut être utilisé pour reconnaître un langage formel, c'est-à-dire décider si un mot appartient ou non à un langage particulier. Les caractéristiques des circuits qui reconnaissent un langage permettent de définir (ou redéfinir) des classes de complexité.

Calcul multipartite sécurisé

Le calcul multipartite sécurisé (en anglais, secure multi-party computation) est une branche de la cryptographie dont l'objectif est de permettre aux agents d'un réseau de communication de calculer conjointement une fonction sur leurs entrées, afin que les entrées restent privées et que le résultat soit exact. Cela peut être réalisé, par exemple, par transferts inconscient ou par chiffrement homomorphe. Contrairement aux constructions classiques en cryptographie, où l'attaquant est extérieur au système (à la manière d’un espion), l'attaquant fait ici partie des intervenants au sein du système.

Circuit (computer science)

In theoretical computer science, a circuit is a model of computation in which input values proceed through a sequence of gates, each of which computes a function. Circuits of this kind provide a generalization of Boolean circuits and a mathematical model for digital logic circuits. Circuits are defined by the gates they contain and the values the gates can produce. For example, the values in a Boolean circuit are boolean values, and the circuit includes conjunction, disjunction, and negation gates.

Circuit complexity

In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of the Boolean circuits that compute them. A related notion is the circuit complexity of a recursive language that is decided by a uniform family of circuits (see below). Proving lower bounds on size of Boolean circuits computing explicit Boolean functions is a popular approach to separating complexity classes.

Algèbre de Boole (logique)

Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Afficher plus

Séances de cours associées (64)

Chiffrement homomorphe : Nuage et agrégation

Explore le chiffrement homomorphe pour l'informatique en nuage sécurisé et l'agrégation des données.

Chiffrement homomorphe : Délégation des calculs en toute sécurité

Explore le cryptage homomorphe, permettant des calculs sécurisés sur des données chiffrées sans exposition aux données, avec des applications dans les soins de santé et la finance.

Secure Collaborative Systems: Building Efficient Protocols for Linear Models

Explore la construction de protocoles efficaces pour les modèles linéaires dans des systèmes collaboratifs sécurisés, en mettant l'accent sur les garanties de sécurité et l'efficacité computationnelle.

Technologies de protection de la vie privée : certaines technologies de protection de la vie privée (partie II)

Explore les systèmes de communication anonymes, les informations d'identification basées sur les attributs, le réseau Tor et d'autres technologies de confidentialité.

Capsules Internet: Opportunités et dangers

Explore les possibilités et les dangers d'Internet, y compris le cryptage, la surveillance et la censure.

Afficher plus

Concepts associés (32)

Circuit booléen

Calcul multipartite sécurisé

Circuit (computer science)

Circuit complexity

Algèbre de Boole (logique)

Afficher plus