Cryptanalyse: Clé publique et le pouvoir de l'interaction

Cette séance de cours couvre les sujets de la cryptanalyse dans les systèmes à clé publique, en se concentrant sur les signatures ElGamal et les implications en matière de sécurité si certains contrôles sont manqués. Il explore également le pouvoir de l'interaction dans les preuves interactives, en explorant des concepts tels que les classes CO-NP et NP, les problèmes P vs NP, la réduction des Karpes et la dureté NP. L'instructeur discute du protocole Goldwasser-Micali-Rackoff, de la composition séquentielle dans les systèmes de preuve interactifs et des aspects délicats de la composition parallèle. À travers des exemples tels que le jeu de retournement de pièces et le protocole DD, la séance de cours illustre les applications pratiques et les défis des systèmes interactifs et des preuves.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (244)

Concepts associés (217)

COM-501: Advanced cryptography

This course reviews some failure cases in public-key cryptography. It introduces some cryptanalysis techniques. It also presents fundamentals in cryptography such as interactive proofs. Finally, it pr

NP (complexité)

La classe NP est une classe très importante de la théorie de la complexité. L'abréviation NP signifie « non déterministe polynomial » (« en »). Un problème de décision est dans NP s'il est décidé par une machine de Turing non déterministe en temps polynomial par rapport à la taille de l'entrée. Intuitivement, cela revient à dire qu'on peut vérifier « rapidement » (complexité polynomiale) si une solution candidate est bien solution.

Problème NP-complet

En théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes : il est possible de vérifier une solution efficacement (en temps polynomial) ; la classe des problèmes vérifiant cette propriété est notée NP ; tous les problèmes de la classe NP se ramènent à celui-ci via une réduction polynomiale ; cela signifie que le problème est au moins aussi difficile que tous les autres problèmes de l

Design numérique

vignette|366x366px Incluant l’ensemble des pratiques utilisant des matières informatisées comme moyen et comme fin dans la conception, le design numérique (également appelé design d'interaction ou design interactif) définit les structures et comportements de systèmes interactifs. Apparaissant comme un nouveau champ issu de la révolution numérique, il réinvente la manière de façonner le design en mettant l’accent sur l’expérience de l’acteur et non l’objet en soi.

NP-difficile

vignette|300px|Mise en évidence d'un problème NP-difficile si Problème P ≟ NP. Un problème NP-difficile est, en théorie de la complexité, un problème appartenant à la classe NP-difficile, ce qui revient à dire qu'il est au moins aussi difficile que les problèmes les plus difficiles de la classe NP. Ainsi, un problème H est NP-difficile, si tout problème L de la classe NP peut être réduit en temps polynomial à H. Si un problème NP-difficile est dans NP, alors c'est un problème NP-complet.

Interaction technique

An interaction technique, user interface technique or input technique is a combination of hardware and software elements that provides a way for computer users to accomplish a single task. For example, one can go back to the previously visited page on a Web browser by either clicking a button, pressing a key, performing a mouse gesture or uttering a speech command. It is a widely used term in human-computer interaction. In particular, the term "new interaction technique" is frequently used to introduce a novel user interface design idea.

Le pouvoir de l’interaction : la construction zéro connaissance COM-501: Advanced cryptography

Explore la construction à connaissance nulle, les modèles de configuration et la puissance de l'interaction dans les protocoles cryptographiques, y compris le protocole Sigma et les preuves à connaissance nulle NP.

Preuves interactives : le pouvoir de l’interaction COM-501: Advanced cryptography

Explore les preuves interactives, la connaissance zéro, la composition parallèle et les protocoles cryptographiques.

Autorisation anonyme : Boîte à outils d'ingénierie de la vie privée CS-523: Advanced topics on privacy enhancing technologies

Couvre les autorisations anonymes, les preuves de zéro connaissance, les lettres de créance fondées sur les attributs et les problèmes pratiques en matière d'authentification anonyme.

Algorithmes récursifs : Induction et tri CS-101: Advanced information, computation, communication I

Explore les algorithmes d'induction, de récursion et de tri, y compris le tri de fusion et la preuve d'exactitude pour les algorithmes récursifs.

Délégation quantique de calcul

Couvre le concept de délégation quantique du calcul et la relation entre MIP et RE, en abordant les questions fréquentes et en discutant des matériaux utiles et des interactions avec les appareils quantiques.