Description
Nous présentons des travaux d'implémentation du chiffrement (fully) homomorphe et de développement d'outils logiciels supports (compilateurs) permettant de faire le lien entre des algorithmes applicatifs et ce formalisme bas-niveau, de manière aussi performante que possible. L'exposé portera également sur les problématiques d'intégration du chiffrement homomorphe dans des cas d'applications concrets, en particulier pour ce qui est de son interfaçage avec du chiffrement symétrique. Enfin, nous essaierons de faire un point sur les performances actuellement atteignables et présenterons quelques scénarios applicatifs qui paraissent aujourd'hui être à la portée du FHE, nous étendrons également ces retours d’expérience à des scénarios applicatifs utilisant du chiffrement homomorphe additif.
Next sessions
-
Oblivious Transfer from Zero-Knowledge Proofs (or how to achieve round-optimal quantum Oblivious Transfer without structure)
Speaker : Léo Colisson - Université Grenoble Alpes
We provide a generic construction to turn any classical Zero-Knowledge (ZK) protocol into a composable oblivious transfer (OT) protocol (the protocol itself involving quantum interactions), mostly lifting the round-complexity properties and security guarantees (plain-model/statistical security/unstructured functions…) of the ZK protocol to the resulting OT protocol. Such a construction is unlikely[…]-
Cryptography
-