Concepedia

David Aspinall

DA

24

Publications

773

Citations

16

H-Index

1959

Active since

Affiliations

University of Edinburgh(Current)

Stevens Institute of Technology

University of Manchester

Ludwig-Maximilians-Universität München

Glasgow Caledonian University

David Aspinall is an author at University of Edinburgh specializing in engineering, computer science, and information security.

Top concepts

EngineeringComputer ScienceInformation SecurityData SecurityFormal MethodsAutomated ReasoningCryptographyData PrivacyHardware SecurityFormal Verification

Publications per year

1959–2021

24

Publications

24

Personal choice and challenge questions

Mike Just, David Aspinall · 2009 · 97 citations

Engineering, Usable Security, Behavioral Decision Making +24

Real-Time Multiplexing of Dispersed Spectra in Any Wavelength Region

Roger Ibbett, David Aspinall, J. F. Grainger · Applied Optics · 1968 · 84 citations

Wireless Communications, Engineering, Spectrum Estimation +16

Data Driven Authentication: On the Effectiveness of User Behaviour Modelling with Mobile Device Sensors

Mike Just, Lynne Baillie, David Aspinall et al. · arXiv (Cornell University) · 2014 · 74 citations · Full text

Mobile Security, Engineering, Information Security +24

A program logic for resources

David Aspinall, Lennart Beringer, Martin Hofmann et al. · Theoretical Computer Science · 2007 · 56 citations · Full text

Programming Language Theory, Declarative Programming, Engineering +10

Subtyping dependent types

David Aspinall, Adriana Compagnoni · Theoretical Computer Science · 2001 · 52 citations

Dependent Types, Engineering, Automated Reasoning +4

Rows per page

1–5 of 24