Sotabase

Career

· CSO, Contemplate Ltd2009–
· Professor in Computer Science, University of Edinburgh

Publications (155)

Formalising Java's Data Race Free Guarantee
International Conference on Theorem Proving in Higher Order Logics · 2007
733
cited
Mobile Resource Guarantees for Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices · 2004
245
cited
Proof General: A Generic Tool for Proof Development
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2000
190
cited
On Validity of Program Transformations in the Java Memory Model
European Conference on Object-Oriented Programming · 2008
170
cited
Personal choice and challenge questions: a security and usability assessment
Symposium On Usable Privacy and Security · 2009
122
cited
Subtyping dependent types
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science · 1996
112
cited
Data Driven Authentication: On the Effectiveness of User Behaviour Modelling with Mobile Device Sensors
arXiv.org · 2014
97
cited
A Framework for Interactive Proof
Calculemus/MKM · 2007
87
cited
Subtyping with Singleton Types
Annual Conference for Computer Science Logic · 1994
74
cited
A program logic for resources
Theoretical Computer Science · 2007
59
cited
Security testing for Android mHealth apps
International Conference on Software Testing, Verification and Validation Workshops · 2015
48
cited
A Program Logic for Resource Verification
International Conference on Theorem Proving in Higher Order Logics · 2004
39
cited
Heap-Bounded Assembly Language
Journal of automated reasoning · 2004
36
cited
An IoT analysis framework: An investigation of IoT smart cameras' vulnerabilities
IoT · 2018
34
cited
Java Memory Model Examples: Good, Bad and Ugly
2007
33
cited
Towards Formal Proof Script Refactoring
Calculemus/MKM · 2011
29
cited
On the Privacy, Security and Safety of Blood Pressure and Diabetes Apps
IFIP International Information Security Conference · 2015
28
cited
Mobile Resource Guarantees and Policies
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices · 2005
27
cited
Optimisation Validation
COCV · 2007
23
cited
SAT-based Model-Checking of Security Protocols
2005
23
cited
Sotabase
David Aspinall | Researcher Profile | Sotabase | Sotabase