RT DF A1 Liu, Shen. T1 Quantitative Privilege Separation with Pointer Supports