Enabling Precise and Automated Insecurity Analysis of Middleware on Mobile Platforms

  • Formal Methods and Language-based Security
  • Software
  • 1856380
  • SaTC PI Meeting 2019
  • Project Slides
Submitted by Qiang Zeng on