Provably Enforcing Practical Multi-Layer Policies in Today’s Extensible Software Platforms

  • 1320470
  • SaTC Pi Meeting 2017
  • Project Slides
Submitted by Limin Jia on