Michael Burrows
Più info
- Affiliazione
- DEC Systems Research Center, Google
- Noto per
- Logica BAN, trasformata di Burrows–Wheeler, Chubby
Informatico dietro la logica BAN per i protocolli di autenticazione e, quasi per hobby, la trasformata di Burrows–Wheeler.
La logica BAN (1989, con Martín Abadi e Roger Needham) fu uno dei primi tentativi seri di ragionare in modo formale su ciò che le parti di un protocollo di autenticazione possono ritenere vero dopo ogni messaggio. Evidenziò difetti in protocolli pubblicati e diede avvio al campo della verifica formale dei protocolli, comprese le analisi di Kerberos.
Nel 1994 lui e David Wheeler descrissero la trasformata a ordinamento di blocchi che rese poi possibile bzip2. Scrisse inoltre l'indicizzatore di AltaVista e, in Google, il servizio di lock Chubby. Pochi hanno una bibliografia così ampia con così pochi comunicati stampa.