Predicting the Security Behaviour of Mobile Apps
A new cyber security research (2017-2020) project at University of Edinburgh’s School of Informatics funded by the US Office of Naval Research.
- An abstract functional language to capture security-relevant behaviours
- Type-and-effect systems for policy-specific swift verification
- A semi-supervised learning framework which supports automatic construction and refinement of behavioural security policies
- PhD project
- Postdoctoral RA position (provisionally based at Alan Turing Institute.
Please contact us if you are interested.