ウルファル・アーリングソン

コーネル大学でフレッド・シュナイダーと、プログラムを書き換えて自らセキュリティポリシーを強制させるインライン参照モニターを研究した。この流れから、Microsoft Researchでマルティン・アバディ、ミハイ・ブディウ、ジェイ・リガッティと書いた「制御フロー完全性（CFI）」（2005年）が生まれた。間接ジャンプのたびに、コンパイラが求めた制御フローグラフに照らして検査する方式で、ROPの道を塞ぐ。主流のコンパイラに根付くまでには約10年かかった。

Googleでは2014年のRAPPORの筆頭著者を務めた。各Chromeが報告前に回答をランダム化するため、Googleは全体の傾向を見られても個々のユーザーの真実は知り得ない。ローカル差分プライバシーを大規模に導入した最初期の例である。のちにニューラルネットワークが学習データの秘密を記憶してしまう問題の研究にも加わった。