David Pointcheval
Más información
- Afiliación
- École normale supérieure, CNRS
- Conocido por
- Forking lemma, la prueba de RSA-OAEP
Criptógrafo francés que dio a las firmas en el modelo del oráculo aleatorio una prueba de seguridad de verdad: rebobinar al atacante y obligarlo a adivinar dos veces.
En 1996 Pointcheval y Jacques Stern publicaron lo que se conocería como forking lemma. Se ejecuta a un falsificador hipotético dos veces con la misma cinta aleatoria pero respuestas distintas del oráculo; si acierta en ambas, las dos firmas juntas delatan la clave secreta. Se convirtió en la herramienta estándar para demostrar la seguridad de las firmas de Schnorr y sus parientes.
Cuando Victor Shoup mostró en 2001 que la prueba clásica de OAEP tenía un agujero, fueron Pointcheval, Stern, Fujisaki y Okamoto quienes la remendaron para el caso concreto de RSA. Con Michel Abdalla sentó además las bases del intercambio de claves con contraseña SPAKE. Una carrera hecha de notas al pie, pero de muchísimas.