Russell Impagliazzo
Teórico de la complejidad de UC San Diego que clasificó todos los universos posibles en cinco, según cuánta criptografía se puede construir en cada uno.
En A Personal View of Average-Case Complexity (1995), Impagliazzo describió cinco mundos: Algorithmica, donde P = NP; Heuristica y Pessiland, donde hay problemas difíciles pero inservibles; Minicrypt, donde existen funciones unidireccionales pero no criptografía de clave pública; y Cryptomania, donde creemos vivir. Nadie sabe aún cuál es el verdadero.
Detrás de la metáfora hay resultados sólidos. Con Luby demostró en 1989 que la criptografía exige funciones unidireccionales; con Rudich, que el intercambio de claves no puede derivarse de ellas de forma caja negra; y con Håstad, Levin y Luby (HILL), que toda función unidireccional da lugar a un generador pseudoaleatorio.