David Aspinall

Phone+ 44 (0) 131 650 5177
Emaildavid.aspinalled.acuk
Websitehttp://homepages.inf.ed.ac.uk/da/

Accepting PhD Students

PhD projects

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.

If you made any changes in Pure these will be visible here soon.

5 Active
27 Finished

5 results

Filter

Active
Dijkstra's Pipe: Timing-Secure Processors by Design
Nagarajan, V., Ainsworth, S., Aspinall, D. & Grosser, T.
EPSRC
1/07/21 → 30/06/24
Project: Research
Securing IoT implementations with Robust Malware Classifiers via Semantic Modelling
Aspinall, D.
EU government bodies, UK industry, commerce and public corporations
1/12/20 → 30/11/24
Project: Research
Verification of machine learning algorithms using symbolic logic
Aspinall, D.
EPSRC
2/09/20 → 1/09/23
Project: Research
AISEC: AI Secure and Explainable by Construction
Aspinall, D. & Schafer, B.
EPSRC
1/09/20 → 31/08/23
Project: Research
Confidential: Academic Centre of Excellence in Cyber Security Research Support Fund
Aspinall, D.
EPSRC
1/07/17 → 30/06/23
Project: Research

David Aspinall

Projects

Search results

Dijkstra's Pipe: Timing-Secure Processors by Design

Securing IoT implementations with Robust Malware Classifiers via Semantic Modelling

Verification of machine learning algorithms using symbolic logic

AISEC: AI Secure and Explainable by Construction

Confidential: Academic Centre of Excellence in Cyber Security Research Support Fund