David Aspinall

107 papers A* 4A 5B 14C 2Misc 4Journal 23Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Detecting and Eliminating Neural Network Backdoors Through Active Paths with Application to Intrusion Detection. CoRR Eirik Høyheim, Magnus Wiik Eckhoff, Gudmund Grov, Robert Flood, David Aspinall
2025	Misc	`conf`	Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models. SAC Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya
2025	—	`conf`	From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security. SAFECOMP (Workshops) Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic
2024	A	`conf`	Bad Design Smells in Benchmark NIDS Datasets. EuroS&P Robert Flood, Gints Engelen, David Aspinall, Lieven Desmet
2024	—	`conf`	Generating Traffic-Level Adversarial Examples from Feature-Level Specifications. ESORICS Workshops (2) Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya
2024	—	`conf`	Measuring Cyber Essentials Security Policies. CSET @ USENIX Security Symposium Sándor Bartha, Russell Ballantine, David Aspinall
2024	—	`conf`	Measuring the Complexity of Benchmark NIDS Datasets via Spectral Analysis. EuroS&P Workshops Robert Flood, David Aspinall
2023	—	`conf`	Tactics for Account Access Graphs. ESORICS (3) Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic
2022	J	`jnl`	Checking Contact Tracing App Implementations with Bespoke Static Analysis. SN Comput. Sci. Robert Flood, Sheung Chi Chan, Wei Chen, David Aspinall
2022	—	`conf`	Towards Interdependent Safety Security Assessments Using Bowties. SAFECOMP Workshops Luca Arnaboldi, David Aspinall
2022	J	`jnl`	Towards Interdependent Safety Security Assessments using Bowties. CoRR Luca Arnaboldi, David Aspinall
2021	J	`jnl`	CBAM: A Contextual Model for Network Anomaly Detection. Comput. Henry Clausen, Gudmund Grov, David Aspinall
2021	C	`conf`	Checking Contact Tracing App Implementations. ICISSP Robert Flood, Sheung Shi Chan, Wei Chen, David Aspinall
2021	—	`conf`	Controlling Network Traffic Microstructures for Machine-Learning Model Probing. SecureComm (1) Henry Clausen, Robert Flood, David Aspinall
2021	—	`conf`	Evaluating Model Robustness to Adversarial Samples in Network Intrusion Detection. IEEE BigData Madeleine Schneider, David Aspinall, Nathaniel D. Bastian
2021	—	`conf`	Examining traffic microstructures to improve model development. SP (Workshops) Henry Clausen, David Aspinall
2021	J	`jnl`	Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL. J. Autom. Reason. David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón
2020	—	`conf`	Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs. MLN Henry Clausen, Gudmund Grov, Marc Sabate, David Aspinall
2020	B	`conf`	Evading Stepping-Stone Detection with Enough Chaff. NSS Henry Clausen, Michael Scott Gibson, David Aspinall
2020	B	`conf`	Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL. CPP David Butler, David Aspinall, Adrià Gascón
2020	B	`conf`	Neural Networks, Secure by Construction - An Exploration of Refinement Types. APLAS Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall
2020	J	`jnl`	Traffic Generation using Containerization for Machine Learning. CoRR Henry Clausen, Robert Flood, David Aspinall
2019	J	`jnl`	Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL. IACR Cryptol. ePrint Arch. David Butler, David Aspinall, Adrià Gascón
2019	J	`jnl`	Formalising Σ-Protocols and Commitment Schemes using CryptHOL. IACR Cryptol. ePrint Arch. David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón
2019	J	`jnl`	Multi-Party Computation. Arch. Formal Proofs David Aspinall, David Butler
2019	—	`conf`	On the Formalisation of Σ-Protocols and Commitment Schemes. POST David Butler, David Aspinall, Adrià Gascón
2019	—	`conf`	Retrofitting Security and Privacy Measures to Smart Home Devices. IoTSMS Chenghao Ye, Praburam Prabhakar Indra, David Aspinall
2018	J	`jnl`	Foreword. Theor. Comput. Sci. Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens
2018	Misc	`conf`	Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. SEC Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
2018	J	`jnl`	How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. CoRR David Butler, David Aspinall, Adrià Gascón
2018	J	`jnl`	Secure information sharing in social agent interactions using information flow analysis. Eng. Appl. Artif. Intell. Shahriar Bijani, David Robertson, David Aspinall
2017	Misc	`conf`	Capturing Policies for BYOD. SEC Joseph Hallett, David Aspinall
2017	B	`conf`	How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. ITP David Butler, David Aspinall, Adrià Gascón
2016	—	`conf`	A text-mining approach to explain unwanted behaviours. EUROSEC Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016	—	`conf`	AppPAL for Android - Capturing and Checking Mobile App Policies. ESSoS Joseph Hallett, David Aspinall
2016	—	`conf`	Certified Lightweight Contextual Policies for Android. SecDev Mohamed Nassim Seghir, David Aspinall, Lenka Mareková
2016	J	`jnl`	DroidGen: Constraint-based and Data-Driven Policy Generation for Android. CoRR Mohamed Nassim Seghir, David Aspinall
2016	—	`conf`	Explaining Unwanted Behaviours in Context. IMPS@ESSoS Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016	—	`conf`	More Semantics More Robust: Improving Android Malware Classifiers. WISEC Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016	B	`conf`	On Robust Malware Classifiers by Verifying Unwanted Behaviours. IFM Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016	A*	`conf`	POSTER: Weighing in eHealth Security. CCS Martin Krämer, David Aspinall, Maria Wolters
2016	—	`conf`	PhoneWrap - Injecting the "How Often" into Mobile Apps. IMPS@ESSoS Daniel Franzen, David Aspinall
2016	—	`ed.`	Privacy and Identity Management. Time for a Revolution? - 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers Privacy and Identity Management David Aspinall, Jan Camenisch, Marit Hansen, Simone Fischer-Hübner, Charles D. Raab
2016	—	`ed.`	Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, IMPS 2016, co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2016), London, UK, April 6, 2016. IMPS@ESSoS David Aspinall, Lorenzo Cavallaro, Mohamed Nassim Seghir, Melanie Volkamer
2016	B	`conf`	Towards Formal Proof Metrics. FASE David Aspinall, Cezary Kaliszyk
2016	B	`conf`	What's in a Theorem Name? ITP David Aspinall, Cezary Kaliszyk
2015	J	`jnl`	Accessible Banking: Experiences and Future Directions. CoRR Bela Gor, David Aspinall
2015	B	`conf`	EviCheck: Digital Evidence for Android. ATVA Mohamed Nassim Seghir, David Aspinall
2015	Misc	`conf`	On the Privacy, Security and Safety of Blood Pressure and Diabetes Apps. SEC Konstantin Knorr, David Aspinall, Maria Wolters
2015	—	`conf`	Security testing for Android mHealth apps. ICST Workshops Konstantin Knorr, David Aspinall
2015	A*	`conf`	Sensor use and usefulness: Trade-offs for data-driven authentication on mobile devices. PerCom Nicholas Micallef, Hilmi Günes Kayacik, Mike Just, Lynne Baillie, David Aspinall
2015	C	`conf`	Type Inference for ZFH. CICM Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
2014	J	`jnl`	Data Driven Authentication: On the Effectiveness of User Behaviour Modelling with Mobile Device Sensors. CoRR Hilmi Günes Kayacik, Mike Just, Lynne Baillie, David Aspinall, Nicholas Micallef
2014	J	`jnl`	ProofPeer: Collaborative Theorem Proving. CoRR Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
2014	—	`conf`	Towards an Authorization Framework for App Security Checking. ESSoS Doctoral Symposium Joseph Hallett, David Aspinall
2014	—	`conf`	Towards an amortized type system for JavaScript. SCSS Daniel Franzen, David Aspinall
2013	—	`conf`	"Give Me Letters 2, 3 and 6!": Partial Password Implementations and Attacks. Financial Cryptography David Aspinall, Mike Just
2013	B	`conf`	A Semantic Basis for Proof Queries and Transformations. LPAR David Aspinall, Ewen Denney, Christoph Lüth
2013	—	`conf`	Capturing Hiproofs in HOL Light. MKM/Calculemus/DML Steven Obua, Mark Adams, David Aspinall
2013	J	`jnl`	Capturing Hiproofs in HOL Light. CoRR Steven Obua, Mark Adams, David Aspinall
2013	—	`ed.`	Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings MKM/Calculemus/DML Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
2013	—	`ed.`	Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK CICM Workshops Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger
2013	B	`conf`	Polar: A Framework for Proof Refactoring. LPAR Dominik Dietrich, Iain Whiteside, David Aspinall
2012	—	`conf`	An Essence of SSReflect. AISC/MKM/Calculemus Iain Whiteside, David Aspinall, Gudmund Grov
2012	—	`conf`	On the security and usability of dual credential authentication in UK online banking. ICITST Mike Just, David Aspinall
2012	—	`ed.`	Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010 UITP David Aspinall, Claudio Sacerdoti Coen
2012	B	`conf`	Querying Proofs. LPAR David Aspinall, Ewen Denney, Christoph Lüth
2011	—	`conf`	Probing Attacks on Multi-Agent Systems Using Electronic Institutions. DALT Shahriar Bijani, David Robertson, David Aspinall
2011	—	`conf`	Towards Formal Proof Script Refactoring. Calculemus/MKM Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov
2010	—	`conf`	Preface. UITP David Aspinall, Claudio Sacerdoti Coen
2010	—	`conf`	Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella
2010	J	`jnl`	Tactics for Hierarchical Proof. Math. Comput. Sci. David Aspinall, Ewen Denney, Christoph Lüth
2009	A	`conf`	Personal choice and challenge questions: a security and usability assessment. SOUPS Mike Just, David Aspinall
2009	—	`conf`	Towards a Type System for Security APIs. ARSPA-WITS Gavin Keighren, David Aspinall, Graham Steel
2008	—	`conf`	A Tactic Language for Hiproofs. AISC/MKM/Calculemus David Aspinall, Ewen Denney, Christoph Lüth
2008	J	`jnl`	A type system with usage aspects. J. Funct. Program. David Aspinall, Martin Hofmann, Michal Konecný
2008	A	`conf`	On Validity of Program Transformations in the Java Memory Model. ECOOP Jaroslav Sevcík, David Aspinall
2008	—	`conf`	Towards Merging PlatOmega and PGIP. UITP@TPHOLs David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner
2007	—	`conf`	A Framework for Interactive Proof. Calculemus/MKM David Aspinall, Christoph Lüth, Daniel Winterstein
2007	J	`jnl`	A program logic for resources. Theor. Comput. Sci. David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
2007	B	`conf`	Datatypes in Memory. CALCO David Aspinall, Piotr Hoffman
2007	—	`conf`	Formalising Java's Data Race Free Guarantee. TPHOLs David Aspinall, Jaroslav Sevcík
2007	—	`conf`	Monitoring External Resources in Java MIDP. REM@ESORICS David Aspinall, Patrick Maier, Ian Stark
2007	—	`conf`	Safety Guarantees from Explicit Resource Management. FMCO David Aspinall, Patrick Maier, Ian Stark
2007	J	`jnl`	Special Issue on User Interfaces in Theorem Proving: Preface. J. Autom. Reason. David Aspinall, Christoph Lüth
2006	—	`conf`	Optimisation Validation. COCV David Aspinall, Lennart Beringer, Alberto Momigliano
2006	—	`conf`	Proof general in Eclipse: system and architecture overview. ETX David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz
2005	—	`conf`	Assisted Proof Document Authoring. MKM David Aspinall, Christoph Lüth, Burkhart Wolff
2005	—	`conf`	Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
2005	—	`conf`	Mobile Resource Guarantees and Policies. CASSIS David Aspinall, Kenneth MacKenzie
2005	A*	`conf`	Proof General / Eclipse: A Generic Interface for Interactive Proof. IJCAI Daniel Winterstein, David Aspinall, Christoph Lüth
2004	—	`conf`	A Program Logic for Resource Verification. TPHOLs David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
2004	—	`conf`	Mobile Resource Guarantees for Smart Devices. CASSIS David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
2004	—	`ed.`	Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003 UITP@TPHOLs David Aspinall, Christoph Lüth
2003	J	`jnl`	Heap-Bounded Assembly Language. J. Autom. Reason. David Aspinall, Adriana B. Compagnoni
2003	—	`conf`	Preface. UITP@TPHOLs David Aspinall, Christoph Lüth
2003	—	`conf`	Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. UITP@TPHOLs David Aspinall, Christoph Lüth
2002	A	`conf`	Another Type System for In-Place Update. ESOP David Aspinall, Martin Hofmann
2002	—	`conf`	From Specifications to Code in CASL. AMAST David Aspinall, Donald Sannella
2002	—	`conf`	Type Checking Parametrised Programs and Specifications in ASL+ WADT David Aspinall
2001	J	`jnl`	Subtyping dependent types. Theor. Comput. Sci. David Aspinall, Adriana B. Compagnoni
2000	A	`conf`	Proof General: A Generic Tool for Proof Development. TACAS David Aspinall
2000	B	`conf`	Subtyping with Power Types. CSL David Aspinall
1997	—	`—`	Type systems for modular programs and specifications. David Aspinall
1996	A*	`conf`	Subtyping Dependent Types (Summary). LICS David Aspinall, Adriana B. Compagnoni
1994	B	`conf`	Subtyping with Singleton Types. CSL David Aspinall
1994	—	`conf`	Types, Subtypes, and ASL+. COMPASS/ADT David Aspinall