Dominator-tree analysis for distributed authorization.

Miranda Mowbray, Antonio Lain

Browse the full PLDI paper archive.