Linked Presentation: PolyScope: Multi-Policy Access Control Analysis to Compute Authorized Attack Operations in Android Systems