Andrei Sabelfeld
Mer info
- Verksam vid
- Chalmers tekniska högskola
- Känd för
- Språkbaserad informationsflödessäkerhet
Professor på Chalmers i Göteborg och medförfattare till översiktsartikeln som definierade forskningsfältet språkbaserad informationsflödessäkerhet.
Idén är äldre än han: Dorothy Denning visade på 1970-talet att en kompilator kan spåra hur hemlig data flödar genom ett program, och Goguen och Meseguer formulerade 1982 noninterference – att hemliga indata aldrig får påverka det publika utdatat. Det Sabelfeld och Andrew Myers gjorde 2003, i "Language-Based Information-Flow Security", var att samla tjugo års splittrade resultat till ett ramverk med gemensam terminologi. Artikeln är en av de mest citerade i säkerhetsforskningen.
Sedan dess har gruppen i Göteborg tillämpat samma tänkande på JavaScript i webbläsaren, där tredjepartsskript läcker data på sätt som same-origin policy inte ser, och på automatiseringstjänster som IFTTT.