Russell Impagliazzo
Teórico da complexidade da UC San Diego que dividiu todos os universos possíveis em cinco, conforme a quantidade de criptografia que dá para construir em cada um.
Em A Personal View of Average-Case Complexity (1995), Impagliazzo descreveu cinco mundos: Algorithmica, onde P = NP; Heuristica e Pessiland, onde existem problemas difíceis, mas inúteis; Minicrypt, onde existem funções unidirecionais, mas não criptografia de chave pública; e Cryptomania, onde acreditamos viver. Ninguém sabe ainda qual deles é o real.
Por trás da metáfora há resultados duros. Com Luby, ele mostrou em 1989 que a criptografia exige funções unidirecionais; com Rudich, que a troca de chaves não pode ser derivada delas de forma caixa-preta; e com Håstad, Levin e Luby (HILL), que qualquer função unidirecional gera um gerador pseudoaleatório.