David Pointcheval
Mer info
- Verksam vid
- École normale supérieure, CNRS
- Känd för
- Forking lemma, RSA-OAEP-beviset
Den franske kryptografen som gav signaturscheman i slumporakelmodellen ett riktigt säkerhetsbevis – genom att spola tillbaka angriparen och låta den gissa en gång till.
1996 publicerade Pointcheval och Jacques Stern det som kom att kallas forking lemma. Tricket är att köra en hypotetisk förfalskare två gånger med samma slumptal men olika orakelsvar; lyckas den båda gångerna kan man ur de två signaturerna räkna ut den hemliga nyckeln. Det blev standardverktyget för att bevisa Schnorrs signaturer och deras släktingar säkra.
När Victor Shoup 2001 visade att det klassiska beviset för OAEP hade en lucka var det Pointcheval, Stern, Fujisaki och Okamoto som lagade det för RSA specifikt. Han har också, med Michel Abdalla, lagt grunden till lösenordsbaserade nyckelutbytet SPAKE. Ett liv i fotnoterna, men i väldigt många av dem.