Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
David Aspinall
2010 – today
- 2013
[c31]David Aspinall, Mike Just: "Give Me Letters 2, 3 and 6!": Partial Password Implementations and Attacks. Financial Cryptography 2013: 126-143- [c30]Steven Obua, Mark Adams, David Aspinall: Capturing Hiproofs in HOL Light. MKM/Calculemus/DML 2013: 184-199
- [e2]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 (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013
- [e1]Jacques Carette, David Aspinall, Christoph Lange, 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. Lecture Notes in Computer Science 7961, Springer 2013, ISBN 978-3-642-39319-8
- [i1]
- 2012
- [j12]
- [c29]Iain Whiteside, David Aspinall, Gudmund Grov: An Essence of SSReflect. AISC/MKM/Calculemus 2012: 186-201
- [c28]Mike Just, David Aspinall: On the security and usability of dual credential authentication in UK online banking. ICITST 2012: 259-264
- [c27]
- 2011
- [c26]Shahriar Bijani, David Robertson, David Aspinall: Probing Attacks on Multi-Agent Systems Using Electronic Institutions. DALT 2011: 33-50
- [c25]Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov: Towards Formal Proof Script Refactoring. Calculemus/MKM 2011: 260-275
- 2010
- [j11]David Aspinall, Ewen Denney, Christoph Lüth: Tactics for Hierarchical Proof. Mathematics in Computer Science 3(3): 309-330 (2010)
- [c24]David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella: Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC 2010: 1-22
2000 – 2009
- 2009
- [j10]David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
- [c23]Gavin Keighren, David Aspinall, Graham Steel: Towards a Type System for Security APIs. ARSPA-WITS 2009: 173-192
- [c22]Mike Just, David Aspinall: Personal choice and challenge questions: a security and usability assessment. SOUPS 2009
- 2008
- [j9]David Aspinall, Patrick Maier, Ian Stark: Monitoring External Resources in Java MIDP. Electr. Notes Theor. Comput. Sci. 197(1): 17-30 (2008)
- [j8]David Aspinall, Martin Hofmann, Michal Konecný: A type system with usage aspects. J. Funct. Program. 18(2): 141-178 (2008)
- [c21]David Aspinall, Ewen Denney, Christoph Lüth: A Tactic Language for Hiproofs. AISC/MKM/Calculemus 2008: 339-354
- [c20]Jaroslav Sevcík, David Aspinall: On Validity of Program Transformations in the Java Memory Model. ECOOP 2008: 27-51
- 2007
- [j7]David Aspinall, Lennart Beringer, Alberto Momigliano: Optimisation Validation. Electr. Notes Theor. Comput. Sci. 176(3): 37-59 (2007)
- [j6]David Aspinall, Christoph Lüth: Special Issue on User Interfaces in Theorem Proving: Preface. J. Autom. Reasoning 39(2): 107-108 (2007)
- [j5]David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007)
- [c19]
- [c18]David Aspinall, Patrick Maier, Ian Stark: Safety Guarantees from Explicit Resource Management. FMCO 2007: 52-71
- [c17]David Aspinall, Christoph Lüth, Daniel Winterstein: A Framework for Interactive Proof. Calculemus/MKM 2007: 161-175
- [c16]
- 2006
- [c15]David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz: Proof general in Eclipse: system and architecture overview. ETX 2006: 45-49
- 2005
- [c14]
- [c13]Daniel Winterstein, David Aspinall, Christoph Lüth: Proof General / Eclipse: A Generic Interface for Interactive Proof. IJCAI 2005: 1587-1588
- [c12]
- [c11]Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska: Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226
- 2004
- [j4]
- [j3]David Aspinall, Christoph Lüth: Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. Electr. Notes Theor. Comput. Sci. 103: 3-26 (2004)
- [c10]David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
- [c9]David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
- 2003
- [j2]David Aspinall, Adriana B. Compagnoni: Heap-Bounded Assembly Language. J. Autom. Reasoning 31(3-4): 261-302 (2003)
- 2002
- [c8]
- [c7]
- [c6]David Aspinall: Type Checking Parametrised Programs and Specifications in ASL+FPC. WADT 2002: 129-144
- 2001
- [j1]David Aspinall, Adriana B. Compagnoni: Subtyping dependent types. Theor. Comput. Sci. 266(1-2): 273-309 (2001)
- 2000
- [c5]
- [c4]
1990 – 1999
- 1996
- [c3]
- 1994
- [c2]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:13 CEST by the dblp team