Permissive runtime information flow control in the presence of exceptions

Publication
J. Comput. Secur.