Andrei Sabelfeld

発想自体は彼より古い。ドロシー・デニングは1970年代に、コンパイラでプログラム内の機密データの流れを追跡できることを示し、GoguenとMeseguerは1982年に「非干渉」を定式化した。秘密の入力が公開の出力に影響してはならない、という性質である。2003年の論文「Language-Based Information-Flow Security」でサベルフェルドとアンドリュー・マイヤーズがしたのは、20年分の散在した成果を共通の語彙のもとに一つの枠組みへまとめることだった。セキュリティ研究で最も引用される論文の一つである。

その後ヨーテボリのグループは同じ考え方を、ブラウザ上のJavaScriptに適用してきた。サードパーティのスクリプトは同一オリジンポリシーでは検知できない形でデータを漏らす。IFTTTのような自動化サービスも対象になっている。