Andrei Sabelfeld
Más información
- Afiliación
- Chalmers University of Technology
- Conocido por
- Seguridad de flujo de información basada en lenguajes
Catedrático de Chalmers, en Gotemburgo, y coautor del artículo de revisión que definió el campo de la seguridad de flujo de información basada en lenguajes.
La idea es anterior a él: Dorothy Denning mostró en los años setenta que un compilador puede seguir cómo fluyen los datos secretos por un programa, y Goguen y Meseguer formularon en 1982 la no interferencia: las entradas secretas nunca deben influir en las salidas públicas. Lo que Sabelfeld y Andrew Myers hicieron en 2003, en "Language-Based Information-Flow Security", fue reunir veinte años de resultados dispersos en un marco con vocabulario común. Es uno de los artículos más citados de la investigación en seguridad.
Desde entonces el grupo de Gotemburgo ha aplicado la misma lógica a JavaScript en el navegador, donde los scripts de terceros filtran datos por vías que la política del mismo origen no ve, y a servicios de automatización como IFTTT.