Michael Burrows
Mehr Infos
- Zugehörigkeit
- DEC Systems Research Center, Google
- Bekannt für
- BAN-Logik, Burrows-Wheeler-Transformation, Chubby
Informatiker hinter der BAN-Logik für Authentifizierungsprotokolle – und, fast nebenbei, der Burrows-Wheeler-Transformation.
Die BAN-Logik (1989, mit Martín Abadi und Roger Needham) war einer der ersten ernsthaften Versuche, formal zu begründen, was die Beteiligten eines Authentifizierungsprotokolls nach jeder Nachricht glauben dürfen. Sie deckte Fehler in veröffentlichten Protokollen auf und löste das ganze Feld der formalen Protokollverifikation aus, darunter Analysen von Kerberos.
1994 beschrieb er gemeinsam mit David Wheeler die Blocksortier-Transformation, die später bzip2 möglich machte. Außerdem schrieb er den AltaVista-Indexer und bei Google den Sperrdienst Chubby. Eine so breite Bibliografie mit so wenigen Pressemitteilungen hat kaum jemand.