App Guarden


Machine Learning

Malware sneaks in through gaps in the security policy; we aim to automatically learn from past mistakes and improve the policy.

Digital Evidence

Equip apps with machine-checkable evidence that they satisfy a given security policy.

Part of the Research Institute in Automated Program Analysis and Verification. EPSRC grant EP/K032666/1 (2013-17)

Fine-Grained Policies

Permissions in security policies are improved by refinement, quantification, and enforced notification.

Mobility + Security Group

This research is embedded within the Mobility and Security Group at Edinburgh University; the group focuses on verification and certification for security and correctness.

It is part of the broader Security and Privacy Research Programme.