Benny Pinkas
Criptógrafo israelense que ajudou a transformar a computação multipartidária segura em algo que dá para executar de verdade — e que mostrou como Windows e Linux geravam mal os seus números aleatórios.
Os circuitos embaralhados de Yao, dos anos 1980, provaram em princípio que duas partes podem calcular uma função sobre entradas secretas sem revelá-las uma à outra. Pinkas co-construiu o Fairplay em 2004, um dos primeiros sistemas a compilar esses protocolos em código executável, e, com Yehuda Lindell, deu a primeira prova de segurança completa da construção de Yao. Seu trabalho sobre interseção de conjuntos privados — comparar duas listas e descobrir apenas o que há em comum — sustenta hoje a descoberta de contatos e a verificação de senhas vazadas.
Mais mundanas foram suas análises dos geradores de números aleatórios dos sistemas operacionais: o Linux em 2006, o Windows 2000 no ano seguinte. No caso do Windows, chaves antigas podiam ser recalculadas a partir de um estado posterior, e a Microsoft admitiu que o XP tinha a mesma falha.