Provably Enforcing Practical Multi-Layer Policies in Today’s Extensible Software Platforms Download pdf Tags: 1320470 SaTC Pi Meeting 2017 Poster Posters License: CC-2.5 Submitted by Limin Jia on Tue, 12/13/2016 - 11:57