Michael Burrows
Meer info
- Verbonden aan
- DEC Systems Research Center, Google
- Bekend van
- BAN-logica, de Burrows–Wheeler-transformatie, Chubby
Informaticus achter de BAN-logica voor authenticatieprotocollen – en, bijna als bijproject, de Burrows–Wheeler-transformatie.
BAN-logica (1989, met Martín Abadi en Roger Needham) was een van de eerste serieuze pogingen om formeel te redeneren over wat de partijen in een authenticatieprotocol na elk bericht mogen geloven. Het legde fouten bloot in gepubliceerde protocollen en gaf de aanzet tot het hele vakgebied van formele protocolverificatie, met onder meer analyses van Kerberos.
In 1994 beschreef hij samen met David Wheeler de blokgesorteerde transformatie die later bzip2 mogelijk maakte. Ook schreef hij de indexer van AltaVista en, bij Google, de lockservice Chubby. Weinig mensen hebben zo'n brede bibliografie met zo weinig persberichten.