. "Foteini Baldimtsi"@fr . . . "Peikert et Shiehian 2019"@fr . "Anna Lysyanskaya"@fr . "https://www.cs.rit.edu/~jjk8346/FiatShamir.pdf|format=pdf|langue=en|libell\u00E9=Fiat et Shamir 1986"@fr . "en"@fr . . . "https://eprint.iacr.org/2003/034|libell\u00E9=Goldwasser et Tauman 2003"@fr . "Jiaxin Pan"@fr . . . "https://ia.cr/2019/158|consult\u00E9 le=2019-12-10"@fr . . . "Sina Shiehian"@fr . . . "Ivan Damg\u00E5rd"@fr . . "Yilei Chen"@fr . "http://soc1024.ece.illinois.edu/teaching/ece598am/fall2016/zkproofs.pdf|format=PDF|libell\u00E9=Miller 2016"@fr . . "Efficient signature generation by smart cards"@fr . "Pointcheval et Stern 1996"@fr . "Fiat Shamir: from practice to theory"@fr . . . . "Optimal Security Proofs for Signatures from Identification Schemes"@fr . . "Guillou et Quisquater 1988"@fr . "Noninteractive Zero Knowledge for NP from Learning With Errors"@fr . . "Heuristique de Fiat-Shamir"@fr . "Yael Tauman"@fr . . . "2019"^^ . "2016"^^ . . . "Crypto"@fr . . "Louis C. Guillou"@fr . "2013"^^ . "2010"^^ . . "How To Prove Yourself: Practical Solutions to Identification and Signature Problems"@fr . "Asiacrypt"@fr . . . "Crypto 1986"@fr . "2003"^^ . . . "1996"^^ . "Security Proofs for Signature Schemes"@fr . . . . "11491"^^ . "1991"^^ . . "http://eprint.iacr.org/2016/191|p\u00E9riodique=Crypto|ann\u00E9e=2016|libell\u00E9=Kitz, Masny et Pan 2016"@fr . "1988"^^ . "Canetti et al. 2019"@fr . "1986"^^ . . "L\u2019heuristique de Fiat-Shamir (ou transformation de Fiat-Shamir) est, en cryptographie, une technique permettant de transformer g\u00E9n\u00E9riquement une preuve \u00E0 divulgation nulle de connaissance en preuve non-interactive \u00E0 divulgation nulle de connaissance. Cette preuve peut directement \u00EAtre utilis\u00E9e pour construire un sch\u00E9ma de signature num\u00E9rique. Cette m\u00E9thode a \u00E9t\u00E9 d\u00E9couverte par Amos Fiat et Adi Shamir en 1986. Cette heuristique est d\u00E9nomm\u00E9e ainsi puisque sa premi\u00E8re version a \u00E9t\u00E9 pr\u00E9sent\u00E9e sans preuve de s\u00E9curit\u00E9. David Pointcheval et Jacques Stern ont montr\u00E9 la s\u00E9curit\u00E9 de l'heuristique de Fiat-Shamir contre les attaques s\u00E9quentielles \u00E0 texte-clair choisi dans le mod\u00E8le de l'oracle al\u00E9atoire. Par la suite Shafi Goldwasser et Yael Tauman ont montr\u00E9 que sans l'hypoth\u00E8se sur l'oracle al\u00E9atoire, l'heuristique de Fiat-Shamir ne pouvait pas \u00EAtre prouv\u00E9e s\u00FBre sous les hypoth\u00E8ses de s\u00E9curit\u00E9 usuelles sur les fonctions de hachage cryptographiques. En 2019, les travaux de Canetti et d'autres compl\u00E9t\u00E9s par ceux de Peikert et Shiehian ont permis de montrer que l\u2019heuristique de Fiat-Shamir pouvait \u00EAtre instanci\u00E9e dans le mod\u00E8le standard \u00E0 partir d'une famille de fonctions de hachage qui v\u00E9rifient une propri\u00E9t\u00E9 suppl\u00E9mentaire\u202F: l\u2019impossibilit\u00E9 face aux correlations (correlation intractable en anglais). Ces fonctions de hachage peuvent \u00EAtre obtenues \u00E0 partir d'un chiffrement compl\u00E8tement homomorphe, et n\u00E9cessitent donc, \u00E0 l\u2019heure actuelle, de reposer sur des hypoth\u00E8ses de s\u00E9curit\u00E9 sur les r\u00E9seaux euclidiens."@fr . . "Springer"@fr . . "Baldimtsi et Lysyanskaya 2013"@fr . "Claus Peter Schnorr"@fr . . . . "Ron Rothblum"@fr . "Justin Holmgreen"@fr . . "A Practical Zero-Knowledge Protocol Fitted to Security Microprocessor Minimizing Both Transmission and Memory"@fr . . "Daniel Masny"@fr . . "Andrew Miller"@fr . . . . "Daniel Wichs"@fr . . . "10587684"^^ . "10.1007"^^ . . "http://www.cs.au.dk/~ivan/Sigma.pdf|format=PDF|libell\u00E9=Damg\u00E5rd 2010"@fr . "STOC"@fr . . . "Schnorr 1991"@fr . "On the security of the Fiat-Shamir Paradigm"@fr . "Eike Kiltz"@fr . "Alex Lombardi"@fr . "186407761"^^ . . "On the Security of One-Witness Blind Signature Schemes"@fr . "Chris Peikert"@fr . "Notes de cours"@fr . . "L\u2019heuristique de Fiat-Shamir (ou transformation de Fiat-Shamir) est, en cryptographie, une technique permettant de transformer g\u00E9n\u00E9riquement une preuve \u00E0 divulgation nulle de connaissance en preuve non-interactive \u00E0 divulgation nulle de connaissance. Cette preuve peut directement \u00EAtre utilis\u00E9e pour construire un sch\u00E9ma de signature num\u00E9rique. Cette m\u00E9thode a \u00E9t\u00E9 d\u00E9couverte par Amos Fiat et Adi Shamir en 1986."@fr . . . . . . "Ran Canetti"@fr . "Eurocrypt"@fr . . "Zero Knowledge Proofs"@fr . "Canetti et al 2019"@fr . "On \u03A3-Protocols"@fr . "Foundations on Computer Science"@fr . "David Pointcheval"@fr . "Guy Rothblum"@fr .