David Pointcheval
Maggiori informazioni
- Affiliazione
- École normale supérieure, CNRS
- Noto per
- Forking lemma, la dimostrazione di RSA-OAEP
Crittografo francese che ha dato agli schemi di firma nel modello random oracle una vera dimostrazione di sicurezza, riavvolgendo l'avversario e costringendolo a indovinare due volte.
Nel 1996 Pointcheval e Jacques Stern pubblicarono quello che sarebbe diventato noto come forking lemma. Si esegue due volte un ipotetico falsario con lo stesso nastro casuale ma con risposte diverse dell'oracolo; se ha successo in entrambi i casi, le due firme insieme rivelano la chiave segreta. È diventato lo strumento standard per dimostrare la sicurezza delle firme di Schnorr e derivate.
Quando nel 2001 Victor Shoup mostrò che la dimostrazione classica per OAEP aveva una falla, Pointcheval, Stern, Fujisaki e Okamoto la sanarono nel caso specifico di RSA. Con Michel Abdalla ha inoltre posto le basi dello scambio di chiavi autenticato da password SPAKE. Una carriera trascorsa nelle note a piè di pagina, ma in moltissime.