Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

David Lacey

dblp:00/2881 · DBLP profile ↗
← Back
12ranked-venue papers
6as first author
0since 2021 · last 2017
0000-0001-9328-1400ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 5 · 4 first-authorSoftware engineering, systems software and programming languages · 4 · 2 first-authorArtificial intelligence and machine learning · 1Systems, architecture and hardware · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Compilers and program optimization · 72% Program verification · 28%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization
program transformation
0.112009
Program transformations using temporal logic side conditions · ACM Trans. Program. Lang. Syst. 2009
Electronic design automation › hardware verification and test
hardware verification
0.112007
Verification Coverage: When is Enough, Enough? · DAC 2007
Compilers and program optimization
compiler correctness
0.012002
Proving correctness of compiler optimizations by temporal logic · POPL 2002
Compilers and program optimization › compiler correctness
compiler optimization correctness
0.012002
Proving correctness of compiler optimizations by temporal logic · POPL 2002
Program verification
temporal logic verification
0.012002
Proving correctness of compiler optimizations by temporal logic · POPL 2002
Program verification
temporal logic
0.012009
Program transformations using temporal logic side conditions · ACM Trans. Program. Lang. Syst. 2009

Methods — techniques the papers use, named apart from their topics

temporal logic · 0.1program transformation · 0.1rewrite rules · 0.0data flow analysis · 0.0
YearPublicationVenuePosition
2017 Designing and evaluating two interventions to improve identity theft recovery outcomes
abstract
Identity theft is among the most reputationally and financially damaging of all technology crimes. However, global understanding of identity theft is hampered by a lack of empirical research and a complex threat landscape. This paper reports on a four-stage project to improve identity theft outcomes for current and future victims, sponsored by a research grant from the Australian Communications Consumer Action Network (ACCAN). We first analysed 4,000 Australian cases of identity theft in order to understand the processes behind identity theft attacks, victim reporting trends, and opportunities for improving victim and investigation outcomes. Two opportunities for intervention were identified. The first related to understanding long-term victim recovery, and the informational and support mechanisms that improved victim welfare. The second related to developing improved data and threat sharing between telecommunications carriers and banks. From this analysis, we designed and implemented two interventions to improve identity theft outcomes: one at the individual level to improve identity theft recovery, and the second at the organizational level to promote threat sharing. This paper reports on the initial outcomes of implementing these interventions.
Sigi Goode, David Lacey
ISTAS2
2016 Understanding victim-enabled identity theft
abstract
Victim-enabled identity theft is a crime in which an individual victim is deceived into providing their personally identifying information (PII) to a criminal to facilitate its theft and/or misuse. In this paper we analyse a particular victim- enabled tax-related identity theft scheme recently reported in Australia, which has also been reported, in a slightly different guise, in the US. We find that this scheme, and others like it, are best understood when studied from both the perpetrator's and the victim's points of view. The criminal perspective and business practices have been captured and analysed in the Identity Threat Assessment and Prediction (ITAP) model developed by the Center for Identity at The University of Texas (UT CID). The victim perspective has been captured from multiple victim case files captured by IDCARE. The research findings support the view that combining perspectives enhances the analytical value of a threat assessment and prediction model. The multi-actor nature of victim-enabled identity theft complements the methodological approach adopted in the paper, and provides new insights on a growing form of identity theft that can inform future prevention and detection response strategies.
David Lacey, Jim Zaiss, K. Suzanne Barber
PST1
2012 Death by a Thousand Facts: Criticising the Technocratic Approach to Information Security Awareness
abstract
Purpose The purpose of this paper is to examine why mainstream information security awareness techniques have failed to evolve at the same rate as automated technical security controls and to suggest improvements based on psychology and safety science. Design/methodology/approach The concepts of bounded rationality, mental models and the extended parallel processing model are examined in an information security context. Findings There is a lack of formal methodologies in information security awareness for systematically identifying audience communication requirements. Problems with human behaviour in an information security context are assumed to be caused by a lack of facts available to the audience. Awareness, therefore, is largely treated as the broadcast of facts to an audience in the hope that behaviour improves. There is a tendency for technical experts in the field of information security to tell people what they think they ought to know (and may in fact already know). This “technocratic” view of risk communication is fundamentally flawed and has been strongly criticised by experts in safety risk communications as ineffective and inefficient. Practical implications The paper shows how the approach to information security awareness can be improved using knowledge from the safety field. Originality/value The paper demonstrates how advanced concepts from safety science can be used to improve information security risk communications.
Geordie Stewart, David Lacey
Inf. Manag. Comput. Secur.2
2011 Detecting complex account fraud in the enterprise: The role of technical and non-technical controls
Sigi Goode, David Lacey
Decis. Support Syst.2
2010 Understanding and transforming organizational security culture
abstract
Purpose The purpose of this paper is to examine the practical issues, techniques and learning points associated with information security awareness and organizational change programmes. Design/methodology/approach The paper is based on the findings and conclusions of research, observations and projects carried out in large organizations over the last two decades. It highlights failings and critical success factors in contemporary approaches to transform organizational culture. It draws on theory and research from the industrial safety field, and discusses its relevance in the information security field. Findings The paper identifies the primary reasons why many contemporary enterprise security awareness programmes are ineffective. It discusses the nature of the problem and solution space, identifying the practical issues and opportunities, and gives recommendations on how future programmes can be improved. Research limitations/implications The paper identifies gaps in current research, including the need to confirm whether or not certain findings about incidents in safety field might be applicable to security incidents. It calls for a new approach to information security management that incorporates theory and techniques drawn from psychology and marketing. Practical implications The paper is intended to educate students and researchers working in the information security field on issues and techniques associated with information security awareness and organizational change programmes. It also provides practical advice for business organizations on how to design and implement such programmes. Originality/value The paper takes a fresh approach to the subject, examining the relevance of theory and techniques adapted from other fields and drawing new conclusions about the requirements and approach for effective information security awareness and organizational change programmes.
David Lacey
Inf. Manag. Comput. Secur.1
2009 Program transformations using temporal logic side conditions
abstract
This article describes an approach to program optimization based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimizations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimizing steps. The approach is illustrated through a transformational case study where we apply several optimizations to a small program.
Sara Kalvala, Richard Warburton, David Lacey
ACM Trans. Program. Lang. Syst.3
2007 Verification Coverage: When is Enough, Enough?
Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv
DAC5
2006 Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
Simon D. Hammond, David Lacey
CC2
2006 A new institute for a new millennium
David Lacey
Inf. Secur. Tech. Rep.1
2005 Inventing the future - The vision of the Jericho Forum
David Lacey
Inf. Secur. Tech. Rep.1
2002 Proving correctness of compiler optimizations by temporal logic
abstract
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I ⇒ I ′ if φ , where I , I ′ are intermediate language instructions and φ is a property expressed in a temporal logic suitable for describing program data flow. Its reading: If the current program π contains an instruction of form I at some control point p , and if flow condition φ is satisfied at p , then replace I by I ′.The purpose of this paper is to show how such transformations may be proven correct. Our methodology is illustrated by three familiar optimizations, dead code elimination, constant folding and code motion. The meaning of correctness is that for any program π, if Rewrite (π, π′, p , I ⇒ I ′ if φ) then [[π]] = [[π′]], i.e. π and π′ have exactly the same semantics.
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
POPL1
2001 Imperative Program Transformation by Rewriting
David Lacey, Oege de Moor
CC1