Leslie Lamport
Plus d'infos
- Né en
- 1941
- Distinctions
- Prix Turing (2013)
- Connu pour
- Signatures de Lamport, généraux byzantins, Paxos, LaTeX, TLA+
Le philosophe des systèmes distribués, qui a inventé en passant deux des idées les plus durables de la sécurité.
On connaît surtout Lamport pour les horloges logiques, Paxos et LaTeX. Mais en 1979, il décrit comment construire une signature numérique avec rien d'autre qu'une fonction de hachage : publier les empreintes de valeurs aléatoires, puis en révéler la moitié pour signer. La signature est énorme et à usage unique, mais elle ne repose sur aucune hypothèse de théorie des nombres — raison pour laquelle elle survit dans les signatures post-quantiques à base de hachage.
En 1981 vient la chaîne de hachage pour mots de passe : on hache un secret cent fois et on utilise les valeurs à rebours, de sorte qu'une connexion interceptée ne peut jamais être rejouée. L'idée a donné S/KEY et figure parmi les ancêtres des mots de passe à usage unique. L'année suivante, avec Shostak et Pease, il formule le problème des généraux byzantins.