Michael Burrows
Más información
- Institución
- DEC Systems Research Center, Google
- Conocido por
- La lógica BAN, la transformada de Burrows–Wheeler, Chubby
Informático detrás de la lógica BAN para protocolos de autenticación y, casi de paso, de la transformada de Burrows–Wheeler.
La lógica BAN (1989, con Martín Abadi y Roger Needham) fue uno de los primeros intentos serios de razonar formalmente sobre qué puede creer cada participante de un protocolo de autenticación tras cada mensaje. Destapó fallos en protocolos ya publicados e inauguró el campo de la verificación formal de protocolos, con análisis de Kerberos entre ellos.
En 1994 describió con David Wheeler la transformada de ordenación por bloques que más tarde hizo posible bzip2. También escribió el indexador de AltaVista y, ya en Google, el servicio de bloqueo Chubby. Pocas personas tienen una bibliografía tan amplia con tan pocas notas de prensa.