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.


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.

ID: 15340