Description
On construit trois systèmes de cryptographie basés sur le problème NP-complet du sac à dos. Les constructions standard cachent des instances faciles du problème du sac à dos et ont été cassées. Les systèmes présentés ici sont plus surs car ils cachent des instances quelconques ( éventuellement difficiles ). On donnera des résultats de complexité ( taille de la clé, temps d'encodage et de décodage...) et des résultats expérimentaux. Des résultats de sécurité théorique sont également donnés. Une réduction probabiliste polynômiale montre qu'il est aussi difficile de trouver la clé que de factoriser un produit de deux nombres premiers. La densité du sac à dos peut être choisie arbitrairement proche de 1, évitant les attaques par faible densité. Enfin, les attaques heuristiques par LLL ne sont pas opératoires car la clé publique est aussi sure qu'une clé aléatoire relativement à ce type d'attaques.
Prochains exposés
-
Oblivious Transfer from Zero-Knowledge Proofs (or how to achieve round-optimal quantum Oblivious Transfer without structure)
Orateur : 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
-