| Property |
Value |
| dbo:abstract
|
- L’heuristique de Fiat-Shamir (ou transformation de Fiat-Shamir) est, en cryptographie, une technique permettant de transformer génériquement une preuve à divulgation nulle de connaissance en preuve non-interactive à divulgation nulle de connaissance. Cette preuve peut directement être utilisée pour construire un schéma de signature numérique. Cette méthode a été découverte par Amos Fiat et Adi Shamir en 1986. Cette heuristique est dénommée ainsi puisque sa première version a été présentée sans preuve de sécurité. David Pointcheval et Jacques Stern ont montré la sécurité de l'heuristique de Fiat-Shamir contre les attaques séquentielles à texte-clair choisi dans le modèle de l'oracle aléatoire. Par la suite Shafi Goldwasser et Yael Tauman ont montré que sans l'hypothèse sur l'oracle aléatoire, l'heuristique de Fiat-Shamir ne pouvait pas être prouvée sûre sous les hypothèses de sécurité usuelles sur les fonctions de hachage cryptographiques. En 2019, les travaux de Canetti et d'autres complétés par ceux de Peikert et Shiehian ont permis de montrer que l’heuristique de Fiat-Shamir pouvait être instanciée dans le modèle standard à partir d'une famille de fonctions de hachage qui vérifient une propriété supplémentaire : l’impossibilité face aux correlations (correlation intractable en anglais). Ces fonctions de hachage peuvent être obtenues à partir d'un chiffrement complètement homomorphe, et nécessitent donc, à l’heure actuelle, de reposer sur des hypothèses de sécurité sur les réseaux euclidiens. (fr)
- L’heuristique de Fiat-Shamir (ou transformation de Fiat-Shamir) est, en cryptographie, une technique permettant de transformer génériquement une preuve à divulgation nulle de connaissance en preuve non-interactive à divulgation nulle de connaissance. Cette preuve peut directement être utilisée pour construire un schéma de signature numérique. Cette méthode a été découverte par Amos Fiat et Adi Shamir en 1986. Cette heuristique est dénommée ainsi puisque sa première version a été présentée sans preuve de sécurité. David Pointcheval et Jacques Stern ont montré la sécurité de l'heuristique de Fiat-Shamir contre les attaques séquentielles à texte-clair choisi dans le modèle de l'oracle aléatoire. Par la suite Shafi Goldwasser et Yael Tauman ont montré que sans l'hypothèse sur l'oracle aléatoire, l'heuristique de Fiat-Shamir ne pouvait pas être prouvée sûre sous les hypothèses de sécurité usuelles sur les fonctions de hachage cryptographiques. En 2019, les travaux de Canetti et d'autres complétés par ceux de Peikert et Shiehian ont permis de montrer que l’heuristique de Fiat-Shamir pouvait être instanciée dans le modèle standard à partir d'une famille de fonctions de hachage qui vérifient une propriété supplémentaire : l’impossibilité face aux correlations (correlation intractable en anglais). Ces fonctions de hachage peuvent être obtenues à partir d'un chiffrement complètement homomorphe, et nécessitent donc, à l’heure actuelle, de reposer sur des hypothèses de sécurité sur les réseaux euclidiens. (fr)
|
| dbo:discoverer
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11491 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1986 (xsd:integer)
- 1988 (xsd:integer)
- 1991 (xsd:integer)
- 1996 (xsd:integer)
- 2003 (xsd:integer)
- 2010 (xsd:integer)
- 2013 (xsd:integer)
- 2016 (xsd:integer)
- 2019 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:description
|
- Notes de cours (fr)
- Notes de cours (fr)
|
| prop-fr:doi
| |
| prop-fr:id
|
- Canetti et al 2019 (fr)
- Canetti et al 2019 (fr)
|
| prop-fr:langue
| |
| prop-fr:libellé
|
- Guillou et Quisquater 1988 (fr)
- Baldimtsi et Lysyanskaya 2013 (fr)
- Canetti et al. 2019 (fr)
- Peikert et Shiehian 2019 (fr)
- Pointcheval et Stern 1996 (fr)
- Schnorr 1991 (fr)
- Guillou et Quisquater 1988 (fr)
- Baldimtsi et Lysyanskaya 2013 (fr)
- Canetti et al. 2019 (fr)
- Peikert et Shiehian 2019 (fr)
- Pointcheval et Stern 1996 (fr)
- Schnorr 1991 (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:périodique
| |
| prop-fr:titre
|
- On Σ-Protocols (fr)
- A Practical Zero-Knowledge Protocol Fitted to Security Microprocessor Minimizing Both Transmission and Memory (fr)
- Efficient signature generation by smart cards (fr)
- Fiat Shamir: from practice to theory (fr)
- On the security of the Fiat-Shamir Paradigm (fr)
- Security Proofs for Signature Schemes (fr)
- Zero Knowledge Proofs (fr)
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems (fr)
- Optimal Security Proofs for Signatures from Identification Schemes (fr)
- On the Security of One-Witness Blind Signature Schemes (fr)
- Noninteractive Zero Knowledge for NP from Learning With Errors (fr)
- On Σ-Protocols (fr)
- A Practical Zero-Knowledge Protocol Fitted to Security Microprocessor Minimizing Both Transmission and Memory (fr)
- Efficient signature generation by smart cards (fr)
- Fiat Shamir: from practice to theory (fr)
- On the security of the Fiat-Shamir Paradigm (fr)
- Security Proofs for Signature Schemes (fr)
- Zero Knowledge Proofs (fr)
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems (fr)
- Optimal Security Proofs for Signatures from Identification Schemes (fr)
- On the Security of One-Witness Blind Signature Schemes (fr)
- Noninteractive Zero Knowledge for NP from Learning With Errors (fr)
|
| prop-fr:url
|
- http://www.cs.au.dk/~ivan/Sigma.pdf|format=PDF|libellé=Damgård 2010 (fr)
- http://soc1024.ece.illinois.edu/teaching/ece598am/fall2016/zkproofs.pdf|format=PDF|libellé=Miller 2016 (fr)
- http://www.cs.au.dk/~ivan/Sigma.pdf|format=PDF|libellé=Damgård 2010 (fr)
- http://soc1024.ece.illinois.edu/teaching/ece598am/fall2016/zkproofs.pdf|format=PDF|libellé=Miller 2016 (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- Springer (fr)
|
| dct:subject
| |
| rdfs:comment
|
- L’heuristique de Fiat-Shamir (ou transformation de Fiat-Shamir) est, en cryptographie, une technique permettant de transformer génériquement une preuve à divulgation nulle de connaissance en preuve non-interactive à divulgation nulle de connaissance. Cette preuve peut directement être utilisée pour construire un schéma de signature numérique. Cette méthode a été découverte par Amos Fiat et Adi Shamir en 1986. (fr)
- L’heuristique de Fiat-Shamir (ou transformation de Fiat-Shamir) est, en cryptographie, une technique permettant de transformer génériquement une preuve à divulgation nulle de connaissance en preuve non-interactive à divulgation nulle de connaissance. Cette preuve peut directement être utilisée pour construire un schéma de signature numérique. Cette méthode a été découverte par Amos Fiat et Adi Shamir en 1986. (fr)
|
| rdfs:label
|
- Heuristique de Fiat-Shamir (fr)
- Heuristique de Fiat-Shamir (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
