A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor.

Andrew Bedford, Stephen Chong, Jose Desharnais, Nadia Tawbi

Browse the full SEC paper archive.