David Aspinall

David Aspinall, Konstantin Knorr, D. Aspinall, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Advanced Topics in Types and Programming Languages

David Aspinall, Martin Hofmann, 2004 .

Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces

Christoph Lüth, David Aspinall, 2004, Electron. Notes Theor. Comput. Sci..

Towards a Type System for Security APIs

Graham Steel, David Aspinall, Gavin Keighren, 2009, ARSPA-WITS.

On Validity of Program Transformations in the Java Memory Model

David Aspinall, Jaroslav Sevcík, J. Sevcík, 2008, ECOOP.

Subtyping dependent types

David Aspinall, Adriana B. Compagnoni, 2001, Theor. Comput. Sci..

Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation

Andrew D. Gordon, David Aspinall, Wei Chen, 2015 .

Type Inference for ZFH

Phil Scott, Jacques D. Fleuriot, David Aspinall, 2015, CICM.

Using Authorization Logic to Capture User Policies in Mobile Ecosystems

David Aspinall, Joseph Hallett, 2015 .

A Framework for Interactive Proof

Christoph Lüth, David Aspinall, Daniel Winterstein, 2007, Calculemus/MKM.

Isabelle with Proof General Eclipse: An Overview and User Introduction

Christoph Lüth, David Aspinall, 2007 .

ESSoS: International Symposium on Engineering Secure Software and Systems

David Aspinall, Joseph Hallett, 2016 .

PhoneWrap - Injecting the "How Often" into Mobile Apps

David Aspinall, Daniel Franzen, 2016, IMPS@ESSoS.

Compact Explanations of Why Malware is Bad

Wei Chen, Andrew D. Gordon, David Aspinall, 2015 .

Protocols II Computer Security Lecture 8

David Aspinall, 2011 .

PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers

David Aspinall, Ian Stark, 2008 .

6th Symposium on Trends in Functional Programming TFP 2005

Stephen Gilmore, Hans-Wolfgang Loidl, Donald Sannella, 2005 .

"Give Me Letters 2, 3 and 6!": Partial Password Implementations and Attacks

Mike Just, David Aspinall, 2013, Financial Cryptography.

A Resource-aware Program Logic for Grail

Hans-Wolfgang Loidl, David Aspinall, Alberto Momigliano, 2004 .

Isamode: Theorem Proving with Isabelle inside Emacs

David Aspinall, 2000 .

What's in a Theorem Name?

Cezary Kaliszyk, David Aspinall, 2016, ITP.

Scoping Secure Online Shopping for Older People

David Aspinall, Maria Wolters, D. Aspinall, 2015 .

A Semantic Basis for Proof Queries and Transformations

Ewen Denney, Christoph Lüth, David Aspinall, 2013, LPAR.

Secure information sharing in social agent interactions using information flow analysis

David Stuart Robertson, David Aspinall, Shahriar Bijani, 2018, Eng. Appl. Artif. Intell..

Towards Formal Proof Metrics

Cezary Kaliszyk, David Aspinall, 2016, FASE.

Protocols for Interactive e-Proof

David Aspinall, 2000 .

Intelligent Computer Mathematics

Petr Sojka, Jacques Carette, David Aspinall, 2013, Lecture Notes in Computer Science.

Type Checking Parametrised Programs and Specifications in ASL+FPC

David Aspinall, 2002, WADT.

Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)

David Aspinall, 2000 .

Towards an amortized type system for JavaScript

David Aspinall, Daniel Franzen, 2014, SCSS.

An Essence of SSReflect

Gudmund Grov, David Aspinall, Iain Whiteside, 2012, AISC/MKM/Calculemus.

Proceedings of the IJCAR workshop on Automated Theory Exploration

David Aspinall, Mark J. Adams, Mark Adams, 2012 .

International Workshop on User Interfaces for Theorem Provers

Christoph Lüth, David Aspinall, Daniel Winterstein, 2013 .

Recording and Refactoring HOL Light TacticProofs

David Aspinall, Mark J. Adams, 2012 .

Explaining Unwanted Behaviours in Context

Wei Chen, Andrew D. Gordon, Charles A. Sutton, 2016, IMPS@ESSoS.

Explorer Towards Merging Plat and PGIP

David Aspinall, Serge Autexier, S. Autexier, 2008 .

Polar: A Framework for Proof Refactoring

David Aspinall, Iain Whiteside, Dominik Dietrich, 2013, LPAR.

Proceedings of the 19th International Joint Conference on Artificial Intelligence

Christoph Lüth, David Aspinall, Daniel Winterstein, 2005 .

A text-mining approach to explain unwanted behaviours

Wei Chen, Andrew D. Gordon, Charles A. Sutton, 2016, EuroSec '16.

Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006)

Alan Bundy, David Aspinall, Alison Elizabeth Mercer, 2006 .

Multi-Party Computation

David Aspinall, David Butler, D. Butler, 2019, Arch. Formal Proofs.

Personal choice and challenge questions: a security and usability assessment

Mike Just, David Aspinall, D. Aspinall, 2009, SOUPS.

PG Tips: A Recommender System for an Interactive Theorem Prover

Alan Bundy, David Aspinall, Hazel Duncan, 2006 .

A program logic for resources

Martin Hofmann, Hans-Wolfgang Loidl, David Aspinall, 2007, Theor. Comput. Sci..

DroidGen: Constraint-based and Data-Driven Policy Generation for Android pdf

Mohamed Nassim Seghir, David Aspinall, 2016, ArXiv.

4th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2016)

Andrew D. Gordon, David Aspinall, Wei Chen, 2016 .

On the Privacy, Security and Safety of Blood Pressure and Diabetes Apps

David Aspinall, Maria Wolters, Konstantin Knorr, 2015, SEC.

On the security and usability of dual credential authentication in UK online banking

Mike Just, David Aspinall, Mike Just, 2012, 2012 International Conference for Internet Technology and Secured Transactions.

Optimisation Validation

David Aspinall, Alberto Momigliano, Lennart Beringer, 2007, COCV@ETAPS.

Declarative Agent Languages and Technologies IX

David Aspinall, David Robertson, Shahriar Bijani, 2011 .

Proof general in Eclipse: system and architecture overview

Christoph Lüth, David Aspinall, Daniel Winterstein, 2006, eclipse '06.

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations

Wei Chen, Myungjin Lee, Yuhui Lin, 2018, SEC.

Proceedings of Verification and Analysis of Multi-Threaded Java-Like Programs (VAMP 2007)

David Aspinall, Jaroslav Ševčík, 2007 .

Proof General: A Generic Tool for Proof Development

David Aspinall, D. Aspinall, David Aspinall, 2000, TACAS.

Parsing, editing, proving: The PGIP display protocol

Christoph Lüth, David Aspinall, Daniel Winterstein, 2005 .

A Resource-aware Program Logic for a JVM-like Language In Trends in Functional Programming

Hans-Wolfgang Loidl, David Aspinall, Lennart Beringer, 2003 .

Project evaluation paper: Mobile resource guarantees

Stephen Gilmore, Hans-Wolfgang Loidl, Donald Sannella, 2007 .

Certified Lightweight Contracts for Android

Mohamed Nassim Seghir, David Aspinall, Lenka Marekova, 2016 .

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

Robert Atkey, Kenneth MacKenzie, Donald Sannella, 2010, TGC.

SAT-based Model-Checking of Security Protocols

Alessandro Armando, Alan Smaill, David Aspinall, 2005 .

Programming Languages and Systems

David Aspinall, Martin Hofmann, 2002 .

Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

Jacques Carette, David Aspinall, Christoph Lange, 2013 .

Probing Attacks on Multi-Agent Systems Using Electronic Institutions

David Stuart Robertson, David Aspinall, Shahriar Bijani, 2011, DALT.

A type system with usage aspects

Martin Hofmann, Michal Konecný, David Aspinall, 2008, J. Funct. Program..

POSTER: Weighing in eHealth Security

David Aspinall, Maria Wolters, Martin Krämer, 2016, CCS.

Type systems for modular programs and specifications

David Aspinall, D. Aspinall, 1997 .

Sensor use and usefulness: Trade-offs for data-driven authentication on mobile devices

Lynne Baillie, Mike Just, David Aspinall, 2015, 2015 IEEE International Conference on Pervasive Computing and Communications (PerCom).

Towards an Authorization Framework for App Security Checking

David Aspinall, Joseph Hallett, 2014, ESSoS Doctoral Symposium.

Learning and Verifying Unwanted Behaviours

Wei Chen, Andrew D. Gordon, David Aspinall, 2016 .

Assisted Proof Document Authoring

Burkhart Wolff, Christoph Lüth, David Aspinall, 2005, MKM.

6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014

David Aspinall, Daniel Franzen, 2014 .

Safety Guarantees from Explicit Resource Management

Patrick Maier, David Aspinall, Ian Stark, 2007, FMCO.

Email and Web Security Computer Security Lecture 16

David Aspinall, 2008 .

Special Issue on User Interfaces in Theorem Proving: Preface

Christoph Lüth, David Aspinall, 2007, Journal of Automated Reasoning.

Formalising Σ-Protocols and Commitment Schemes using CryptHOL

David Aspinall, Adrià Gascón, David Butler, 2019, IACR Cryptol. ePrint Arch..

Mobile Resource Guarantees (project evaluation paper)

Martin Hofmann, Stephen Gilmore, Kenneth MacKenzie, 2005, Trends in Functional Programming.

Tactics for Hierarchical Proof

Ewen Denney, Christoph Lüth, David Aspinall, 2010, Math. Comput. Sci..

A Tactic Language for Hiproofs

Ewen Denney, Christoph Lüth, David Aspinall, 2008, AISC/MKM/Calculemus.

Certified Lightweight Contextual Policies for Android

Mohamed Nassim Seghir, David Aspinall, Lenka Marekova, 2016, 2016 IEEE Cybersecurity Development (SecDev).

Another Type System for In-Place Update

Martin Hofmann, David Aspinall, 2002, ESOP.

More Semantics More Robust: Improving Android Malware Classifiers

Wei Chen, Andrew D. Gordon, Charles A. Sutton, 2016, WISEC.

Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2016)

Andrew D. Gordon, David Aspinall, Wei Chen, 2016 .

Challenging challenge questions: an experimental analysis of authentication technologies and user behaviour

Mike Just, David Aspinall, 2010 .

Common Concerns in BYOD Policies

David Aspinall, Joseph Hallett, 2018 .

Workshop on Inclusive Privacy and Security (WIPS): Privacy and Security for Everyone, Anytime, Anywhere, held as part of Symposium on Usable Privacy and Security (SOUPS) 2015

David Aspinall, Bela Gor, 2015 .

Computer Security Lecture 12

David Aspinall, 2003 .

Evaluating Model Robustness to Adversarial Samples in Network Intrusion Detection

David Aspinall, Nathaniel D. Bastian, Madeleine Schneider, 2021, 2021 IEEE International Conference on Big Data (Big Data).

Checking Contact Tracing App Implementations

Wei Chen, David Aspinall, Robert Flood, 2021, ICISSP.

Examining traffic microstructures to improve model development

David Aspinall, Henry Clausen, 2021, 2021 IEEE Security and Privacy Workshops (SPW).

Controlling Network Traffic Microstructures for Machine-Learning Model Probing

David Aspinall, Henry Clausen, Robert Flood, 2021, SecureComm.

CBAM: A Contextual Model for Network Anomaly Detection

Gudmund Grov, David Aspinall, Henry Clausen, 2021, Comput..

2012 International Conference for Internet Technology and Secured Transactions, ICITST 2012

Mike Just, David Aspinall, 2012 .

What’s in a Theorem Name? (Rough Diamond)

Cezary Kaliszyk, David Aspinall, 2016 .

Towards Merging Plat and PGIP

Christoph Lüth, David Aspinall, Serge Autexier, 2009 .

Querying Proofs (Work in Progress)

Ewen Denney, David Aspinall, Christoph Lueth, 2011 .

Chapter 1 A Resource-aware Program Logic for a JVM-like Language

Martin Hofmann, David Aspinall, Lennart Beringer, 2003 .

Java Memory Model Examples: Good, Bad and Ugly

David Aspinall, 2007 .

International Workshop on User Interfaces for Theorem Provers

Christoph Lüth, David Aspinall, Daniel Winterstein, 2005 .