Edinburgh Research Explorer

Prof David Aspinall

Personal Chair in Software Safety and Security

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 was educated at Cambridge and Edinburgh University, where he is a senior member of staff in the School of Informatics. He has contributed to a substantial body of research in theorem proving, proof carrying code and computer security.

Research outputs

  1. POSTER: Weighing in eHealth Security

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Capturing Policies for BYOD

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Certified Lightweight Contextual Policies for Android

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (81) »

ID: 15340