Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(53)
Martin Hofmann
15
Lennart Beringer
11
Alberto Momigliano
9
Christoph Luth (Christoph Lüth)
9
Donald Sannella
8
Conferences
(25)
TPHOLs
3
IFIP
2
LICS
2
CSL
2
CASSIS
2
Journals
(19)
Iee Review
7
ENTCS
4
Microprocessors
4
Iet Software/iee Proceedings - Software
2
JAR
2
Keywords
(115)
Embed
Subscribe
Academic
Authors
David Aspinall
David Aspinall,University of Edinburgh,Algorithms & Theory,Software Engineering,Programming Languages
Edit
David Aspinall
University of Edinburgh
Publications:
100
|
Citations:
644
Fields:
Algorithms & Theory
,
Software Engineering
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
53 co-authors
from 1960 to 2012
|
Cited by
674 authors
Cumulative
Annual
Sort by:
Publications
(100)
BibTeX
|
RIS
|
RefWorks
Download
Probing Attacks on Multi-Agent Systems Using Electronic Institutions
Shahriar Bijani
,
David Robertson
,
David Aspinall
Published in 2012.
Tactics for Hierarchical Proof
(
Citations: 3
)
David Aspinall
,
Ewen Denney
,
Christoph Lüth
Journal:
Mathematics in Computer Science - MiCS
, vol. 3, no. 3, pp. 309-330, 2010
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode
David Aspinall
,
Robert Atkey
,
Kenneth MacKenzie
,
Donald Sannella
Conference:
Trustworthy Global Computing - TGC
, pp. 1-22, 2010
Personal choice and challenge questions: a security and usability assessment
(
Citations: 4
)
Mike Just
,
David Aspinall
Conference:
Symposium On Usable Privacy and Security - SOUPS
, pp. 1-11, 2009
Towards a Type System for Security APIs
(
Citations: 1
)
Gavin Keighren
,
David Aspinall
,
Graham Steel
Conference:
Workshop on Issues in the Theory of Security - WITS
, pp. 173-192, 2009
Sort by:
Citations
(644 times by 495 publications)
RADISH: Always-on sound and complete race detection in software and hardware
(
Citations: 1
)
Joseph Devietti
,
Benjamin P. Wood
,
Karin Strauss
,
Luis Ceze
,
Dan Grossman
,
Shaz Qadeer
Conference:
International Symposium on Computer Architecture - ISCA
, pp. 201-212, 2012
A Research Agenda Acknowledging the Persistence of Passwords
Cormac Herley
,
Paul C. van Oorschot
Journal:
IEEE Security & Privacy
, vol. 10, no. 1, pp. 28-36, 2012
Closed-Form Upper Bounds in Static Cost Analysis
(
Citations: 5
)
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
Germán Puebla
Journal:
Journal of Automated Reasoning - JAR
, vol. 46, no. 2, pp. 161-203, 2011
Refinement types for secure implementations
(
Citations: 3
)
Jesper Bengtson
,
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Sergio Maffeis
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 2, pp. 1-45, 2011
Efficient processor support for DRFx, a memory model with exceptions
(
Citations: 1
)
Abhayendra Singh
,
Daniel Marino
,
Satish Narayanasamy
,
Todd D. Millstein
,
Madanlal Musuvathi
Published in 2011.
Comments