Description
Dans cet exposé, nous considérons un protocole cryptographique faisant appel au calcul de couplages. Notre objectif est de regarder toutes les techniques qui existent lorsque ce protocole doit être implémenté dans un environnement restreint tel qu'une carte à puce ou un téléphone mobile.<br/> Nous verrons dans un premier temps les benchmarks actuels pour une implémentation d'un couplage sur ces environnements restreints, puis nous aborderons le cas des protocoles plus complexes. Nous nous appuierons sur différents exemples pratiques tout au long de l'exposé.
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
-