Andrew Myers
Más información
- Afiliación
- Cornell University
- Conocido por
- Jif, decentralized label model
El catedrático de Cornell que creó Jif, un dialecto de Java cuyo compilador se niega a compilar el código si los datos secretos pueden escaparse.
Como doctorando de Barbara Liskov en el MIT ideó en 1997 el decentralized label model: cada valor lleva una etiqueta que dice quién es su dueño y quién puede leerlo, y es el dueño, no un administrador central, quien decide cuándo se desclasifica. En 1999 incorporó el modelo a Java como JFlow, más tarde Jif, con los flujos de información verificados por el sistema de tipos en tiempo de compilación.
En 2003 escribió con Andrei Sabelfeld la revisión que definió el campo. Aplicaciones posteriores son el sistema de votación Civitas (2008), escrito en Jif para resistir la compra de votos y la coacción, y el lenguaje distribuido Fabric. La industria nunca llegó a adoptar esos sistemas de tipos, pero la idea sobrevive en cada análisis de taint que busca XSS.