The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David Aspinall 0001" ( http://dblp.L3S.de/Authors/David_Aspinall_0001 )

URL (Homepage):  http://homepages.inf.ed.ac.uk/da/  Author page on DBLP  Author page in RDF  Community of David Aspinall 0001 in ASPL-2

Publication years (Num. hits)
1994-2004 (15) 2005-2008 (16) 2009-2013 (18) 2014-2016 (23) 2017-2019 (9)
Publication types (Num. hits)
article(22) inproceedings(54) phdthesis(1) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 82 publication records. Showing 81 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1David Butler 0002, Andreas Lochbihler, David Aspinall 0001, Adrià Gascón Formalising Σ-Protocols and Commitment Schemes using CryptHOL. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2019 DBLP  BibTeX  RDF
1David Aspinall 0001, David Butler 0002 Multi-Party Computation. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2019 DBLP  BibTeX  RDF
1David Butler 0002, David Aspinall 0001, Adrià Gascón On the Formalisation of Σ-Protocols and Commitment Schemes. Search on Bibsonomy POST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Hofmann 0001, David Aspinall 0001, Brian Campbell 0001, Ian Stark, Perdita Stevens Foreword. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Butler 0002, David Aspinall 0001, Adrià Gascón How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shahriar Bijani, David Robertson, David Aspinall 0001 Secure information sharing in social agent interactions using information flow analysis. Search on Bibsonomy Eng. Appl. of AI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall 0001 Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. Search on Bibsonomy SEC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joseph Hallett, David Aspinall 0001 Capturing Policies for BYOD. Search on Bibsonomy SEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Butler 0002, David Aspinall 0001, Adrià Gascón How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. Search on Bibsonomy ITP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohamed Nassim Seghir, David Aspinall 0001 DroidGen: Constraint-based and Data-Driven Policy Generation for Android. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Wei Chen, David Aspinall 0001, Andrew D. Gordon, Charles A. Sutton, Igor Muttik A text-mining approach to explain unwanted behaviours. Search on Bibsonomy EUROSEC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Krämer, David Aspinall 0001, Maria Wolters POSTER: Weighing in eHealth Security. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Jan Camenisch, Marit Hansen, Simone Fischer-Hübner, Charles D. Raab (eds.) 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 Search on Bibsonomy Privacy and Identity Management The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohamed Nassim Seghir, David Aspinall 0001, Lenka Marekova Certified Lightweight Contextual Policies for Android. Search on Bibsonomy SecDev The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wei Chen, David Aspinall 0001, Andrew D. Gordon, Charles A. Sutton, Igor Muttik On Robust Malware Classifiers by Verifying Unwanted Behaviours. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Cezary Kaliszyk What's in a Theorem Name? Search on Bibsonomy ITP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wei Chen, David Aspinall 0001, Andrew D. Gordon, Charles A. Sutton, Igor Muttik Explaining Unwanted Behaviours in Context. Search on Bibsonomy IMPS@ESSoS The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Franzen, David Aspinall 0001 PhoneWrap - Injecting the "How Often" into Mobile Apps. Search on Bibsonomy IMPS@ESSoS The full citation details ... 2016 DBLP  BibTeX  RDF
1Joseph Hallett, David Aspinall 0001 AppPAL for Android - Capturing and Checking Mobile App Policies. Search on Bibsonomy ESSoS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Lorenzo Cavallaro, Mohamed Nassim Seghir, Melanie Volkamer (eds.) 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. Search on Bibsonomy IMPS@ESSoS The full citation details ... 2016 DBLP  BibTeX  RDF
1Wei Chen, David Aspinall 0001, Andrew D. Gordon, Charles A. Sutton, Igor Muttik More Semantics More Robust: Improving Android Malware Classifiers. Search on Bibsonomy WISEC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Cezary Kaliszyk Towards Formal Proof Metrics. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bela Gor, David Aspinall 0001 Accessible Banking: Experiences and Future Directions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Konstantin Knorr, David Aspinall 0001, Maria Wolters On the Privacy, Security and Safety of Blood Pressure and Diabetes Apps. Search on Bibsonomy SEC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohamed Nassim Seghir, David Aspinall 0001 EviCheck: Digital Evidence for Android. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Konstantin Knorr, David Aspinall 0001 Security testing for Android mHealth apps. Search on Bibsonomy ICST Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicholas Micallef, Hilmi Günes Kayacik, Mike Just, Lynne Baillie, David Aspinall 0001 Sensor use and usefulness: Trade-offs for data-driven authentication on mobile devices. Search on Bibsonomy PerCom The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall 0001 Type Inference for ZFH. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall 0001 ProofPeer: Collaborative Theorem Proving. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Hilmi Günes Kayacik, Mike Just, Lynne Baillie, David Aspinall 0001, Nicholas Micallef Data Driven Authentication: On the Effectiveness of User Behaviour Modelling with Mobile Device Sensors. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Daniel Franzen, David Aspinall 0001 Towards an amortized type system for JavaScript. Search on Bibsonomy SCSS The full citation details ... 2014 DBLP  BibTeX  RDF
1Joseph Hallett, David Aspinall 0001 Towards an Authorization Framework for App Security Checking. Search on Bibsonomy ESSoS Doctoral Symposium The full citation details ... 2014 DBLP  BibTeX  RDF
1Steven Obua, Mark Adams, David Aspinall 0001 Capturing Hiproofs in HOL Light. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Dominik Dietrich, Iain Whiteside, David Aspinall 0001 Polar: A Framework for Proof Refactoring. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Ewen Denney, Christoph Lüth A Semantic Basis for Proof Queries and Transformations. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Mike Just "Give Me Letters 2, 3 and 6!": Partial Password Implementations and Attacks. Search on Bibsonomy Financial Cryptography The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Lange 0002, David Aspinall 0001, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (eds.) Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK Search on Bibsonomy CICM Workshops The full citation details ... 2013 DBLP  BibTeX  RDF
1Jacques Carette, David Aspinall 0001, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger (eds.) Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings Search on Bibsonomy MKM/Calculemus/DML The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Steven Obua, Mark Adams, David Aspinall 0001 Capturing Hiproofs in HOL Light. Search on Bibsonomy MKM/Calculemus/DML The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Claudio Sacerdoti Coen Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Ewen Denney, Christoph Lüth Querying Proofs. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mike Just, David Aspinall 0001 On the security and usability of dual credential authentication in UK online banking. Search on Bibsonomy ICITST The full citation details ... 2012 DBLP  BibTeX  RDF
1Iain Whiteside, David Aspinall 0001, Gudmund Grov An Essence of SSReflect. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shahriar Bijani, David Robertson, David Aspinall 0001 Probing Attacks on Multi-Agent Systems Using Electronic Institutions. Search on Bibsonomy DALT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Iain Whiteside, David Aspinall 0001, Lucas Dixon, Gudmund Grov Towards Formal Proof Script Refactoring. Search on Bibsonomy Calculemus/MKM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Ewen Denney, Christoph Lüth Tactics for Hierarchical Proof. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Robert Atkey, Kenneth MacKenzie, Donald Sannella Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. Search on Bibsonomy TGC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Serge Autexier, Christoph Lüth, Marc Wagner 0001 Towards Merging PlatOmega and PGIP. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mike Just, David Aspinall 0001 Personal choice and challenge questions: a security and usability assessment. Search on Bibsonomy SOUPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF challenge questions, security, usability, authentication
1Gavin Keighren, David Aspinall 0001, Graham Steel Towards a Type System for Security APIs. Search on Bibsonomy ARSPA-WITS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Patrick Maier 0001, Ian Stark Monitoring External Resources in Java MIDP. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Martin Hofmann 0001, Michal Konecný A type system with usage aspects. Search on Bibsonomy J. Funct. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jaroslav Sevcík, David Aspinall 0001 On Validity of Program Transformations in the Java Memory Model. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Ewen Denney, Christoph Lüth A Tactic Language for Hiproofs. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Lennart Beringer, Alberto Momigliano Optimisation Validation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Lennart Beringer, Martin Hofmann 0001, Hans-Wolfgang Loidl, Alberto Momigliano A program logic for resources. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Christoph Lüth Special Issue on User Interfaces in Theorem Proving: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Jaroslav Sevcík Formalising Java's Data Race Free Guarantee. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Patrick Maier 0001, Ian Stark Safety Guarantees from Explicit Resource Management. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Piotr Hoffman Datatypes in Memory. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Christoph Lüth, Daniel Winterstein A Framework for Interactive Proof. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz Proof general in Eclipse: system and architecture overview. Search on Bibsonomy ETX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Eclipse
1Donald Sannella, Martin Hofmann 0001, David Aspinall 0001, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska Mobile Resource Guarantees (project evaluation paper). Search on Bibsonomy Trends in Functional Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1David Aspinall 0001, Kenneth MacKenzie Mobile Resource Guarantees and Policies. Search on Bibsonomy CASSIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Daniel Winterstein, David Aspinall 0001, Christoph Lüth Proof General / Eclipse: A Generic Interface for Interactive Proof. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1David Aspinall 0001, Christoph Lüth, Burkhart Wolff Assisted Proof Document Authoring. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Christoph Lüth Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Christoph Lüth Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Lennart Beringer, Martin Hofmann 0001, Hans-Wolfgang Loidl, Alberto Momigliano A Program Logic for Resource Verification. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Stephen Gilmore, Martin Hofmann 0001, Donald Sannella, Ian Stark Mobile Resource Guarantees for Smart Devices. Search on Bibsonomy CASSIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Adriana B. Compagnoni Heap-Bounded Assembly Language. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF proof-carrying code, typed assembly language
1David Aspinall 0001 Type Checking Parametrised Programs and Specifications in ASL+FPC. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Donald Sannella From Specifications to Code in CASL. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Martin Hofmann 0001 Another Type System for In-Place Update. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Adriana B. Compagnoni Subtyping dependent types. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001 Proof General: A Generic Tool for Proof Development. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001 Subtyping with Power Types. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF subtyping, type theory, dependent types
1David Aspinall 0001 Type systems for modular programs and specifications. Search on Bibsonomy 1997   RDF
1David Aspinall 0001, Adriana B. Compagnoni Subtyping Dependent Types (Summary). Search on Bibsonomy LICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001 Types, Subtypes, and ASL+. Search on Bibsonomy COMPASS/ADT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001 Subtyping with Singleton Types. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #81 of 81 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license