Úlfar Erlingsson

A Cornell, Erlingsson lavorò con Fred Schneider sugli inline reference monitor, cioè la riscrittura di un programma perché faccia rispettare da solo la propria policy di sicurezza. Da quel filone nacque Control-Flow Integrity (2005), scritto a Microsoft Research con Martín Abadi, Mihai Budiu e Jay Ligatti: ogni salto indiretto viene verificato rispetto al grafo del flusso di controllo calcolato dal compilatore, il che chiude la porta al ROP. Ci è voluto circa un decennio perché l'idea arrivasse nei compilatori più diffusi.

In Google fu primo autore di RAPPOR (2014), in cui ogni installazione di Chrome rende casuali le proprie risposte prima di inviarle, così che Google veda l'andamento aggregato ma mai la verità di un singolo utente. Fu una delle prime implementazioni su larga scala della privacy differenziale locale. In seguito ha co-firmato ricerche su come le reti neurali memorizzino segreti dai propri dati di addestramento.