Andrei Sabelfeld
Maggiori informazioni
- Affiliazione
- Chalmers University of Technology
- Noto per
- Sicurezza del flusso di informazioni basata sul linguaggio
Professore al Chalmers di Göteborg e coautore della rassegna che ha definito la sicurezza del flusso di informazioni basata sul linguaggio come disciplina.
L'idea è precedente: Dorothy Denning mostrò negli anni Settanta che un compilatore può tracciare il percorso dei dati riservati in un programma, e Goguen e Meseguer formularono nel 1982 la noninterference: gli input segreti non devono mai influenzare gli output pubblici. Il merito di Sabelfeld e Andrew Myers, nel 2003, con "Language-Based Information-Flow Security", fu riunire vent'anni di risultati sparsi in un unico quadro con un vocabolario comune. È tra gli articoli più citati della ricerca sulla sicurezza.
Da allora il gruppo di Göteborg ha applicato lo stesso approccio a JavaScript nel browser, dove gli script di terze parti fanno trapelare dati in modi che la same-origin policy non vede affatto, e a servizi di automazione come IFTTT.