David Aspinall
Personal Chair in Software Safety and Security
Informatics
The University of Edinburgh
United Kingdom
Biography
David Aspinall Position Personal Chair in Software Safety and Security Roles Associate Member of Centre for Intelligent Systems and their Applications
Research Interest
Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments.
Publications
-
GCHQ - RFA15088
-
Predicting the Security Behaviour of Mobile Apps (PreSBeMA)
-
Confidential: Academic Centre of Excellence in Cyber Security Research Support Fund
