Accumulateurs efficaces: techniques de calcul vérifiables
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.
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.
Explore la transition vers la sécurité des communications grâce à l'étude de cas biométrique du passeport, couvrant la RFID, les exemples d'identité, la MRTD, l'EAC et les protocoles cryptographiques.
Explore la recherche sur le vote électronique, les algorithmes numériques, les défis en matière de confidentialité et les méthodes cryptographiques pour assurer la légitimité et la participation.
Explore les primitives cryptographiques fondamentales, les modèles de sécurité et la relation entre la sécurité de déchiffrement et la sécurité de récupération des clés.
Explore le chiffrement RSA, les fonctions de trappe, les fonctions de hachage et les normes cryptographiques, y compris un exemple pratique avec l'implémentation iMessage d'Apple.
Présente les principes fondamentaux de la cryptographie, couvrant le chiffrement symétrique et asymétrique, les fonctions de hachage, l'infrastructure clé et l'intégrité des données.
Couvre la cryptanalyse, les preuves de sécurité, les schémas cryptographiques et les concepts fondamentaux dans un cours de cryptographie avancée difficile.
Explore les signatures en anneau pour la collecte de commentaires anonymes et présente le protocole ZK Attest pour la vérification sécurisée des signatures à l'aide de preuves à zéro connaissance.
Explore de briser l'indissociabilité des e-passports en utilisant la Bisimilarity et le calcul T, mettant en évidence les vulnérabilités et la nécessité de nouveaux protocoles.
Explore la complexité de l'exposantiation discrète, les groupes cycliques et la cryptographie pratique, y compris les algorithmes populaires comme Diffie-Hellman et RSA.
Couvre le développement historique et les concepts clés du cryptage homomorphe, en se concentrant sur le cryptosystème Paillier et le cryptosystème BGV.
Explore la cryptographie à clé publique, couvrant l'échange de clés, les schémas de signature et les applications du monde réel comme le protocole Signal.
Explore les principes de distribution des clés quantiques indépendantes de l'appareil (DIQKD), les preuves de sécurité et les démonstrations expérimentales contre les menaces quantiques de l'ordinateur.
Explore les méthodes d'authentification préservant la confidentialité, les preuves à connaissance nulle, la preuve d'identification de Schnorr et leurs applications réelles.
