Andrew Myers
Mer info
- Verksam vid
- Cornell University
- Känd för
- Jif, decentralized label model
Cornellprofessorn som byggde Jif, en Java-dialekt där kompilatorn vägrar översätta koden om hemlig data kan läcka ut.
Som doktorand hos Barbara Liskov på MIT tog han 1997 fram decentralized label model: varje värde bär en etikett om vem som äger det och vem som får läsa det, och ägaren – inte en central administratör – bestämmer när datan får avklassificeras. 1999 byggde han in modellen i Java som JFlow, senare Jif, med typkontroll av informationsflöden vid kompilering.
2003 skrev han med Andrei Sabelfeld översikten som definierade fältet. Senare tillämpningar är röstsystemet Civitas (2008), byggt i Jif för att stå emot röstköp och tvång, och det distribuerade språket Fabric. Industrin har aldrig riktigt anammat typsystemen, men idén lever i varje taint-analys som letar efter XSS.