Edinburgh Research Explorer

Prof David Aspinall

Personal Chair in Software Safety and Security

Phone: + 44 (0) 131 650 5177

Willingness to take Ph.D. students: Yes

Please see the Informatics Security and Privacy group page for projects including some of mine: S and P PhD topics Please contact me directly for topics in other areas.

Research Interests

Software security: certified security and proof-carrying code.
Mobile security: security of mobile devices, applications and app stores.
User authentication: passwords and challenge questions.
Theorem proving: proof development environments and proof language foundations programming and specification languages and type systems.

Biography

David Aspinall studied at the University of Cambridge and then the University of Edinburgh, where he is now a senior member of academic staff in the School of Informatics. He has contributed to a substantial body of research in machine-assisted mathematics, programming and specification languages, and computer security.

Research outputs

  1. An IoT analysis framework: An investigation of IoT smart cameras' vulnerabilities

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  2. Secure information sharing in social agent interactions using information flow analysis

    Research output: Contribution to journal › Article

  3. Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (84) »

Research projects

  1. Adaptive Anomaly Discovery by Learning Software Models

    Project: Research

  2. Iterative approach to Mean-Field Games for Cyber Security

    Project: Research

  3. Concept and design for Command_and_Control ¿¿¿ a cyber security outreach programme

    Project: Research

View all (27) »

Research press coverage

  1. Research by Dr David Aspinall to give phones a smarter "kill switch" to protect data

    Press/Media: Research

  2. Informatics' Dr David Aspinall takes part in scheme to improve security of mobile applications

    Press/Media: Research

  3. Experts developing theft-proof mobiles

    Press/Media: Research

View all (3) »

ID: 15340