David Lacey

27 papers A* 2B 2C 3Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
Exploiting organisational vulnerabilities as dark knowledge: conceptual development from organisational fraud cases.
J. Knowl. Manag.
Sigi Goode, David Lacey
2019 J jnl
Understanding the effects of compromise and misuse of personal details on older people.
Australas. J. Inf. Syst.
Judy Watson, David Lacey, Don V. Kerr, Paul M. Salmon, Natassia Goode
2017 C conf
Designing and evaluating two interventions to improve identity theft recovery outcomes.
ISTAS
Sigi Goode, David Lacey
2016 C conf
Understanding victim-enabled identity theft.
PST
David Lacey, Jim Zaiss, K. Suzanne Barber
2015 — conf
It's Dark in There: Using Systems Analysis to Investigate Trust and Engagement in Dark Web Forums.
HCI (6)
David Lacey, Paul M. Salmon
2012 J jnl
Death by a Thousand Facts: Criticising the Technocratic Approach to Information Security Awareness.
Inf. Manag. Comput. Secur.
Geordie Stewart, David Lacey
2011 — conf
Death by a Thousand Facts: Criticising the Technocratic Approach to Information Security Awareness.
HAISA
Geordie Stewart, David Lacey
2011 J jnl
Detecting complex account fraud in the enterprise: The role of technical and non-technical controls.
Decis. Support Syst.
Sigi Goode, David Lacey
2011 C conf
Exploring Interpersonal Relationships in Security Information Sharing.
ICIS
Sigi Goode, David Lacey
2011 — conf
Exploring information security controls using information fraud episodes: case study evidence from a large telecommunications firm.
ECIS
Sigi Goode, David Lacey
2010 J jnl
Compilation Techniques for High Level Parallel Code.
Int. J. Parallel Program.
Benedict R. Gaster, Tim Bainbridge, David Lacey, David Gardner
2010 J jnl
Understanding and transforming organizational security culture.
Inf. Manag. Comput. Secur.
David Lacey
2009 J jnl
Program transformations using temporal logic side conditions.
ACM Trans. Program. Lang. Syst.
Sara Kalvala, Richard Warburton, David Lacey
2009 — conf
Social Embeddedness and Sharing Security Information: Bridging the Cost Benefit Gap.
ACIS
Sigi Goode, David Lacey
2009 — conf
Understanding and Transforming Organisational Culture.
HAISA
David Lacey
2007 A* conf
Verification Coverage: When is Enough, Enough?
DAC
Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv
2006 J jnl
A new institute for a new millennium.
Inf. Secur. Tech. Rep.
David Lacey
2006 B conf
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode.
CC
Simon D. Hammond, David Lacey
2005 J jnl
Inventing the future - The vision of the Jericho Forum.
Inf. Secur. Tech. Rep.
David Lacey
2004 — book
Assertion-based design, Second Edition.
Harry Foster, Adam Krolnik, David Lacey
2004 J jnl
Compiler Optimization Correctness by Temporal Logic.
High. Order Symb. Comput.
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
2003 — conf
Investigating ID Fraud in Australia: A Research Program.
PACIS
Rodger Jamieson, Kenneth J. Stevens, Peter Luckett, Kim Langfield-Smith, Warwick Sarre, Henry Pontell, Suresh Cuganesan, David Lacey, Michael Briers
2003 J jnl
Universal Regular Path Queries.
High. Order Symb. Comput.
Oege de Moor, David Lacey, Eric Van Wyk
2002 A* conf
Proving correctness of compiler optimizations by temporal logic.
POPL
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
2001 B conf
Imperative Program Transformation by Rewriting.
CC
David Lacey, Oege de Moor
2000 — conf
Logic Program Synthesis in a Higher-Order Setting.
Computational Logic
David Lacey, Julian Richardson, Alan Smaill
1995 — book
Client/server - a handbook of modern computer system design.
Clive Evans, David Lacey, David Harvey, David Gibbons, Andy Krasun