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
|
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.