Research output per year
Research output per year
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
-
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 journal › Article › peer-review
Open AccessFile -
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 Science and Business Media Deutschland GmbH, 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 proceeding › Conference contribution
Open AccessFile -
Traffic Generation using Containerization for Machine Learning
Clausen, H., Flood, R. & Aspinall, D., 25 Feb 2022, DYnamic and Novel Advances in Machine Learning and Intelligent Cyber Security Workshop Proceedings. ACM Association for Computing Machinery, 12 p. 3Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Evaluating Model Robustness to Adversarial Samples in Network Intrusion Detection
Schneider, M., Aspinall, D. & Bastian, N. D., 13 Jan 2022, 2021 IEEE International Conference on Big Data (Big Data). Chen, Y., Ludwig, H., Tu, Y., Fayyad, U., Zhu, X., Hu, X., Byna, S., Liu, X., Zhang, J., Pan, S., Papalexakis, V., Wang, J., Cuzzocrea, A. & Ordonez, C. (eds.). IEEE, p. 3343-3352 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Controlling Network Traffic Microstructures for Machine-Learning Model Probing
Clausen, H., Flood, R. & Aspinall, D., 3 Nov 2021, Security and Privacy in Communication Networks. Springer, Cham, p. 456-475 20 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 398).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
-
Dijkstra's Pipe: Timing-Secure Processors by Design
Nagarajan, V., Ainsworth, S., Aspinall, D. & Grosser, T.
1/07/21 → 30/06/24
Project: Research
-
-
Press/Media
-
Research by Dr David Aspinall to give phones a smarter "kill switch" to protect data
26/06/14
1 item of Media coverage
Press/Media: Research
-
Informatics' Dr David Aspinall takes part in scheme to improve security of mobile applications
22/03/13
1 item of Media coverage
Press/Media: Research
-