This HTML5 document contains 126 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n26http://eprint.iacr.org/2012/
dbpedia-dehttp://de.dbpedia.org/resource/
n22https://eprint.iacr.org/2003/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n15http://soc1024.ece.illinois.edu/teaching/ece598am/fall2016/
n12http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n10http://www.cs.au.dk/~ivan/
n25http://eprint.iacr.org/2016/
n9http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n16http://www.di.ens.fr/users/pointche/Documents/Papers/
owlhttp://www.w3.org/2002/07/owl#
n23http://ma-graph.org/entity/
n11https://www.cs.rit.edu/~jjk8346/
n20https://ia.cr/2019/
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Heuristique_de_Fiat-Shamir
rdfs:label
Heuristique de Fiat-Shamir
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.
owl:sameAs
dbpedia-es:Heurística_de_Fiat-Shamir n12:06_ttrx dbr:Fiat–Shamir_heuristic wikidata:Q5446341 n23:2778700983 dbpedia-de:Fiat-Shamir-Heuristik
dbo:wikiPageID
10587684
dbo:wikiPageRevisionID
186407761
dbo:wikiPageWikiLink
dbpedia-fr:Modèle_de_l'oracle_aléatoire dbpedia-fr:Nombres_premiers_entre_eux dbpedia-fr:Shafi_Goldwasser dbpedia-fr:Chiffrement_homomorphe dbpedia-fr:Protocole_d'authentification_de_Schnorr dbpedia-fr:Journal_of_Cryptology dbpedia-fr:Relation_(mathématiques) dbpedia-fr:Adi_Shamir dbpedia-fr:Théorie_des_groupes dbpedia-fr:Cryptographie dbpedia-fr:Cryptographie_post-quantique dbpedia-fr:Guillou-Quisquater dbpedia-fr:Jean-Jacques_Quisquater dbpedia-fr:Résistance_aux_collisions dbpedia-fr:Fonction_de_hachage_cryptographique dbpedia-fr:Niveaux_d'attaques dbpedia-fr:Amos_Fiat dbpedia-fr:Jacques_Stern_(cryptologue) dbpedia-fr:Langage_formel dbpedia-fr:Yael_Tauman_Kalai dbpedia-fr:Chiffrement_RSA category-fr:Cryptographie dbpedia-fr:Preuve_à_divulgation_nulle_de_connaissance dbpedia-fr:Signature_numérique
dbo:wikiPageExternalLink
n10:Sigma.pdf%7Cformat=PDF%7Clibell%C3%A9=Damg%C3%A5rd n11:FiatShamir.pdf%7Cformat=pdf%7Clangue=en%7Clibell%C3%A9=Fiat n15:zkproofs.pdf%7Cformat=PDF%7Clibell%C3%A9=Miller n20:158%7Cconsult%C3%A9 n22:034%7Clibell%C3%A9=Goldwasser n25:191%7Cp%C3%A9riodique=Crypto%7Cann%C3%A9e=2016%7Clibell%C3%A9=Kitz, n26:197%7Clangue=en n16:1996_eurocrypt.pdf%7Cformat=pdf%7Cp%C3%A9riodique=Eurocrypt
dbo:wikiPageLength
11491
dct:subject
category-fr:Cryptographie
prop-fr:wikiPageUsesTemplate
n9:Lien_web n9:Langue n9:Portail n9:Article n9:Références n9:Sfn
prov:wasDerivedFrom
wikipedia-fr:Heuristique_de_Fiat-Shamir?oldid=186407761&ns=0
prop-fr:année
2019 2016 2013 2010 2003 1996 1991 1988 1986
prop-fr:auteur
Foteini Baldimtsi Anna Lysyanskaya dbpedia-fr:Jacques_Stern_(cryptologue) Jiaxin Pan dbpedia-fr:Amos_Fiat Sina Shiehian Ivan Damgård Yilei Chen dbpedia-fr:Shafi_Goldwasser dbpedia-fr:Adi_Shamir Yael Tauman Louis C. Guillou Claus Peter Schnorr dbpedia-fr:Jean-Jacques_Quisquater Ron Rothblum Justin Holmgreen Daniel Masny Andrew Miller Daniel Wichs Eike Kiltz Alex Lombardi Chris Peikert Ran Canetti David Pointcheval Guy Rothblum
prop-fr:description
Notes de cours
prop-fr:doi
10.1007
prop-fr:id
Canetti et al 2019
prop-fr:langue
en
prop-fr:libellé
Peikert et Shiehian 2019 Pointcheval et Stern 1996 Guillou et Quisquater 1988 Canetti et al. 2019 Baldimtsi et Lysyanskaya 2013 Schnorr 1991
prop-fr:lireEnLigne
https://www.cs.rit.edu/~jjk8346/FiatShamir.pdf|format=pdf|langue=en|libellé=Fiat et Shamir 1986 https://eprint.iacr.org/2003/034|libellé=Goldwasser et Tauman 2003 https://ia.cr/2019/158|consulté le=2019-12-10 n16:1996_eurocrypt.pdf%7Cformat=pdf%7Cp%C3%A9riodique=Eurocrypt http://eprint.iacr.org/2016/191|périodique=Crypto|année=2016|libellé=Kitz, Masny et Pan 2016 n26:197%7Clangue=en
prop-fr:périodique
Crypto Asiacrypt Crypto 1986 STOC dbpedia-fr:Journal_of_Cryptology Eurocrypt Foundations on Computer Science
prop-fr:titre
Efficient signature generation by smart cards Fiat Shamir: from practice to theory Optimal Security Proofs for Signatures from Identification Schemes Noninteractive Zero Knowledge for NP from Learning With Errors How To Prove Yourself: Practical Solutions to Identification and Signature Problems Security Proofs for Signature Schemes A Practical Zero-Knowledge Protocol Fitted to Security Microprocessor Minimizing Both Transmission and Memory On the security of the Fiat-Shamir Paradigm On the Security of One-Witness Blind Signature Schemes Zero Knowledge Proofs On Σ-Protocols
prop-fr:url
http://soc1024.ece.illinois.edu/teaching/ece598am/fall2016/zkproofs.pdf|format=PDF|libellé=Miller 2016 http://www.cs.au.dk/~ivan/Sigma.pdf|format=PDF|libellé=Damgård 2010
prop-fr:éditeur
Springer
foaf:isPrimaryTopicOf
wikipedia-fr:Heuristique_de_Fiat-Shamir
dbo:discoverer
dbpedia-fr:Amos_Fiat dbpedia-fr:Adi_Shamir
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.