Modern mobile devices offer users powerful computational capabilities and complete customisability. As a matter of fact, today's smartphones and tablets have remarkable hardware profiles and a cornucopia of applications. Yet, the security mechanisms provided by most popular mobile operating systems offer only limited protection to the threats posed by malicious applications. Also, users may inadvertently install them without even noticing due to the limited level of detail shown during the installation process.

Our solution for securing mobile applications is based on the notion of Secure Meta-Market. Secure meta-markets can effectively verify and guarantee that security specifications are respected by all the downloaded applications. The whole system is transparent to the users and applies to every mobile context, including bring your own device (BYOD) scenarios.