David Aspinall

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