Description
Les propriétés d'équivalence permettent d'exprimer un nombre important de propriétés de sécurité (secret fort, intraçabilité, anonymat...), soit comme propriété de symétrie, soit en comparant un protocole réél à une situation idéale.<br/> En principe, ces propriétés doivent valoir y compris lorsqu'un nombre arbitraire d'agents différents utilisent le protocole. Nous démontrerons que dans de nombreux cas, la vérification pour un petit nombre d'agents suffit à donner des garanties pour un nombre arbitraire. Finalement, nous montrerons que le relâchement de chacune de nos hypothèses mène à des contre-exemples (aucune borne n'est calculable dans ces cas).
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
-