Enabling Precise and Automated Insecurity Analysis of Middleware on Mobile Platforms Download pdf Tags: Formal Methods and Language-based Security Software 1856380 SaTC PI Meeting 2019 Project Slides License: CC-2.5 Submitted by Qiang Zeng on Tue, 01/07/2020 - 09:46