Michael Ben-Or
Théoricien de l'Université hébraïque qui a montré que des tirages à pile ou face peuvent sauver le consensus, et que plusieurs parties peuvent calculer ensemble sans révéler leurs entrées.
En 1983, Ben-Or publia un protocole randomisé d'accord byzantin pour les réseaux asynchrones. Il contournait le résultat FLP, selon lequel le consensus déterministe est impossible dès qu'un seul nœud peut tomber en panne, en laissant les nœuds tirer à pile ou face. L'article lui valut, ainsi qu'à Michael Rabin, le prix Dijkstra 2015.
En 1988 vint le protocole BGW, avec Shafi Goldwasser et Avi Wigderson : un calcul multipartite à sécurité inconditionnelle, qui repose sur le fait que moins d'un tiers des parties trichent plutôt que sur la difficulté d'un problème mathématique. La même année, il codéfinit les preuves interactives à plusieurs prouveurs. Les portefeuilles MPC et les signatures à seuil d'aujourd'hui reposent sur ces fondations.