David Aspinall

According to our database, David Aspinall authored at least 90 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Tactics for Account Access Graphs.

Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic

Proceedings of the Computer Security - ESORICS 2023, 2023

2022

Checking Contact Tracing App Implementations with Bespoke Static Analysis.

Robert Flood, Sheung Chi Chan, Wei Chen, David Aspinall

SN Comput. Sci., 2022

Towards Interdependent Safety Security Assessments Using Bowties.

Luca Arnaboldi, David Aspinall

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

2021

Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL.

David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón

J. Autom. Reason., 2021

CBAM: A Contextual Model for Network Anomaly Detection.

Henry Clausen, Gudmund Grov, David Aspinall

Comput., 2021

Examining traffic microstructures to improve model development.

Henry Clausen, David Aspinall

Proceedings of the IEEE Security and Privacy Workshops, 2021

Controlling Network Traffic Microstructures for Machine-Learning Model Probing.

Henry Clausen, Robert Flood, David Aspinall

Proceedings of the Security and Privacy in Communication Networks, 2021

Checking Contact Tracing App Implementations.

Robert Flood, Sheung Shi Chan, Wei Chen, David Aspinall

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Evaluating Model Robustness to Adversarial Samples in Network Intrusion Detection.

Madeleine Schneider, David Aspinall, Nathaniel D. Bastian

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020

Traffic Generation using Containerization for Machine Learning.

Henry Clausen, Robert Flood, David Aspinall

CoRR, 2020

Evading Stepping-Stone Detection with Enough Chaff.

Henry Clausen, Michael Scott Gibson, David Aspinall

Proceedings of the Network and System Security - 14th International Conference, 2020

Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs.

Henry Clausen, Gudmund Grov, Marc Sabate, David Aspinall

Proceedings of the Machine Learning for Networking - Third International Conference, 2020

Neural Networks, Secure by Construction - An Exploration of Refinement Types.

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Formalising Σ-Protocols and Commitment Schemes using CryptHOL.

David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón

IACR Cryptol. ePrint Arch., 2019

Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL.

David Butler, David Aspinall, Adrià Gascón

IACR Cryptol. ePrint Arch., 2019

Multi-Party Computation.

David Aspinall, David Butler

Arch. Formal Proofs, 2019

On the Formalisation of Σ-Protocols and Commitment Schemes.

David Butler, David Aspinall, Adrià Gascón

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Retrofitting Security and Privacy Measures to Smart Home Devices.

Chenghao Ye, Praburam Prabhakar Indra, David Aspinall

Proceedings of the Sixth International Conference on Internet of Things: Systems, 2019

2018

Foreword.

Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens

Theor. Comput. Sci., 2018

Secure information sharing in social agent interactions using information flow analysis.

Shahriar Bijani, David Robertson, David Aspinall

Eng. Appl. Artif. Intell., 2018

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

Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall

Proceedings of the ICT Systems Security and Privacy Protection, 2018

2017

Capturing Policies for BYOD.

Joseph Hallett, David Aspinall

Proceedings of the ICT Systems Security and Privacy Protection, 2017

How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation.

David Butler, David Aspinall, Adrià Gascón

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

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

Mohamed Nassim Seghir, David Aspinall

CoRR, 2016

More Semantics More Robust: Improving Android Malware Classifiers.

Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik

Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2016

Certified Lightweight Contextual Policies for Android.

Mohamed Nassim Seghir, David Aspinall, Lenka Mareková

Proceedings of the IEEE Cybersecurity Development, 2016

What's in a Theorem Name?

David Aspinall, Cezary Kaliszyk

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

On Robust Malware Classifiers by Verifying Unwanted Behaviours.

Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Towards Formal Proof Metrics.

David Aspinall, Cezary Kaliszyk

Proceedings of the Fundamental Approaches to Software Engineering, 2016

A text-mining approach to explain unwanted behaviours.

Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik

Proceedings of the 9th European Workshop on System Security, 2016

AppPAL for Android - Capturing and Checking Mobile App Policies.

Joseph Hallett, David Aspinall

Proceedings of the Engineering Secure Software and Systems - 8th International Symposium, 2016

PhoneWrap - Injecting the "How Often" into Mobile Apps.

Daniel Franzen, David Aspinall

Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016

Explaining Unwanted Behaviours in Context.

Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik

Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016

POSTER: Weighing in eHealth Security.

Martin Krämer, David Aspinall, Maria Wolters

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Accessible Banking: Experiences and Future Directions.

Bela Gor, David Aspinall

CoRR, 2015

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

Konstantin Knorr, David Aspinall, Maria Wolters

Proceedings of the ICT Systems Security and Privacy Protection, 2015

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

Nicholas Micallef, Hilmi Günes Kayacik, Mike Just, Lynne Baillie, David Aspinall

Proceedings of the 2015 IEEE International Conference on Pervasive Computing and Communications, 2015

Type Inference for ZFH.

Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Security testing for Android mHealth apps.

Konstantin Knorr, David Aspinall

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

EviCheck: Digital Evidence for Android.

Mohamed Nassim Seghir, David Aspinall

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

ProofPeer: Collaborative Theorem Proving.

Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall

CoRR, 2014

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

Hilmi Günes Kayacik, Mike Just, Lynne Baillie, David Aspinall, Nicholas Micallef

CoRR, 2014

Towards an amortized type system for JavaScript.

Daniel Franzen, David Aspinall

Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

Towards an Authorization Framework for App Security Checking.

Joseph Hallett, David Aspinall

Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), 2014

2013

Capturing Hiproofs in HOL Light.

Steven Obua, Mark Adams, David Aspinall

Proceedings of the Intelligent Computer Mathematics, 2013

Polar: A Framework for Proof Refactoring.

Dominik Dietrich, Iain Whiteside, David Aspinall

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

A Semantic Basis for Proof Queries and Transformations.

David Aspinall, Ewen Denney, Christoph Lüth

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

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

David Aspinall, Mike Just

Proceedings of the Financial Cryptography and Data Security, 2013

2012

Querying Proofs.

David Aspinall, Ewen Denney, Christoph Lüth

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

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

Mike Just, David Aspinall

Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012

An Essence of SSReflect.

Iain Whiteside, David Aspinall, Gudmund Grov

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Towards Formal Proof Script Refactoring.

Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Probing Attacks on Multi-Agent Systems Using Electronic Institutions.

Shahriar Bijani, David Robertson, David Aspinall

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

2010

Tactics for Hierarchical Proof.

David Aspinall, Ewen Denney, Christoph Lüth

Math. Comput. Sci., 2010

Preface.

David Aspinall, Claudio Sacerdoti Coen

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009

Personal choice and challenge questions: a security and usability assessment.

Mike Just, David Aspinall

Proceedings of the 5th Symposium on Usable Privacy and Security, 2009

Towards a Type System for Security APIs.

Gavin Keighren, David Aspinall, Graham Steel

Proceedings of the Foundations and Applications of Security Analysis, 2009

2008

A type system with usage aspects.

David Aspinall, Martin Hofmann, Michal Konecný

J. Funct. Program., 2008

Towards Merging PlatOmega and PGIP.

David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner

Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008

On Validity of Program Transformations in the Java Memory Model.

Jaroslav Sevcík, David Aspinall

Proceedings of the ECOOP 2008, 2008

A Tactic Language for Hiproofs.

David Aspinall, Ewen Denney, Christoph Lüth

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

A program logic for resources.

David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano

Theor. Comput. Sci., 2007

Special Issue on User Interfaces in Theorem Proving: Preface.

David Aspinall, Christoph Lüth

J. Autom. Reason., 2007

Monitoring External Resources in Java MIDP.

David Aspinall, Patrick Maier, Ian Stark

Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, 2007

Formalising Java's Data Race Free Guarantee.

David Aspinall, Jaroslav Sevcík

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

A Framework for Interactive Proof.

David Aspinall, Christoph Lüth, Daniel Winterstein

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Safety Guarantees from Explicit Resource Management.

David Aspinall, Patrick Maier, Ian Stark

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Datatypes in Memory.

David Aspinall, Piotr Hoffman

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Optimisation Validation.

David Aspinall, Lennart Beringer, Alberto Momigliano

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Proof general in Eclipse: system and architecture overview.

David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

Mobile Resource Guarantees (project evaluation paper).

Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Assisted Proof Document Authoring.

David Aspinall, Christoph Lüth, Burkhart Wolff

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Proof General / Eclipse: A Generic Interface for Interactive Proof.

Daniel Winterstein, David Aspinall, Christoph Lüth

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Mobile Resource Guarantees and Policies.

David Aspinall, Kenneth MacKenzie

Proceedings of the Construction and Analysis of Safe, 2005

2004

A Program Logic for Resource Verification.

David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Mobile Resource Guarantees for Smart Devices.

David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark

Proceedings of the Construction and Analysis of Safe, 2004

2003

Heap-Bounded Assembly Language.

David Aspinall, Adriana B. Compagnoni

J. Autom. Reason., 2003

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

David Aspinall, Christoph Lüth

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

Preface.

David Aspinall, Christoph Lüth

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

2002

Type Checking Parametrised Programs and Specifications in ASL+_FPC.

David Aspinall

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Another Type System for In-Place Update.

David Aspinall, Martin Hofmann

Proceedings of the Programming Languages and Systems, 2002

From Specifications to Code in CASL.

David Aspinall, Donald Sannella

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Subtyping dependent types.

David Aspinall, Adriana B. Compagnoni

Theor. Comput. Sci., 2001

2000

Proof General: A Generic Tool for Proof Development.

David Aspinall

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Subtyping with Power Types.

David Aspinall

Proceedings of the Computer Science Logic, 2000

1997

Type systems for modular programs and specifications.

David Aspinall

PhD thesis, 1997

1996

Subtyping Dependent Types (Summary).

David Aspinall, Adriana B. Compagnoni

Proceedings of the Proceedings, 1996

1994

Subtyping with Singleton Types.

David Aspinall

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

Types, Subtypes, and ASL+.

David Aspinall

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994