Andrew Myers
Więcej informacji
- Afiliacja
- Cornell University
- Znany z
- Jif, zdecentralizowanego modelu etykiet
Profesor z Cornell, twórca Jif — dialektu Javy, którego kompilator odmawia zbudowania kodu, jeśli tajne dane mogłyby z niego wyciec.
Jako doktorant u Barbary Liskov na MIT opracował w 1997 roku zdecentralizowany model etykiet: każda wartość niesie etykietę mówiącą, kto jest jej właścicielem i kto może ją czytać, a o odtajnieniu decyduje właściciel, nie centralny administrator. W 1999 roku wbudował ten model w Javę jako JFlow, później Jif, z kontrolą przepływów informacji typami już w czasie kompilacji.
W 2003 roku razem z Andreiem Sabelfeldem napisał przegląd, który zdefiniował dziedzinę. Późniejsze zastosowania to system do głosowania Civitas (2008), napisany w Jif tak, by opierał się kupowaniu głosów i przymusowi, oraz język rozproszony Fabric. Przemysł systemów typów nigdy naprawdę nie przyjął, ale sama idea żyje w każdej analizie skażeń polującej na XSS.