Accepting PhD Students

PhD projects

Please see the Informatics Security and Privacy group page for projects including some of mine: <a href="http://web.inf.ed.ac.uk/security-privacy/phd-study/phd-topics">S and P PhD topics</a>

Please contact me directly for topics in other areas.

Personal profile

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.

Fingerprint

Dive into the research topics where David Aspinall is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Measuring the complexity of benchmark NIDS datasets via spectral analysis

    Flood, R. & Aspinall, D., 20 Aug 2024, 2024 IEEE European Symposium on Security and Privacy Workshops. Institute of Electrical and Electronics Engineers, p. 335-341 7 p. (IEEE European Symposium on Security and Privacy Workshops).

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

    Open Access
    File
  • Measuring cyber essentials security policies

    Bartha, S., Ballantine, R. & Aspinall, D., 13 Aug 2024, Proceedings of the 17th Cyber Security Experimentation and Test Workshop. ACM, p. 17-26 10 p.

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

    Open Access
    File
  • Tactics for account access graphs

    Arnaboldi, L., Aspinall, D., Kolb, C. & Radomirović, S., 12 Jan 2024, Computer Security – ESORICS 2023. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). Springer, Vol. 14346. p. 452-470 19 p. (Lecture Notes in Computer Science; vol. 14346).

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

    Open Access
    File
  • Checking Contact Tracing App Implementations with Bespoke Static Analysis

    Flood, R., Chan, S. C., Chen, W. & Aspinall, D., 1 Nov 2022, In: SN Computer Science. 3, 6, p. 1-15 496.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Towards Interdependent Safety Security Assessments Using Bowties

    Arnaboldi, L. & Aspinall, D., 9 Jun 2022, Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Proceedings. Trapp, M., Schoitsch, E., Guiochet, J. & Bitsch, F. (eds.). Springer, p. 211-229 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13415 LNCS).

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

    Open Access
    File