David Lacey

According to our database, David Lacey authored at least 25 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Exploiting organisational vulnerabilities as dark knowledge: conceptual development from organisational fraud cases.

Sigi Goode, David Lacey

J. Knowl. Manag., 2022

2019

Understanding the effects of compromise and misuse of personal details on older people.

Judy Watson, David Lacey, Don V. Kerr, Paul M. Salmon, Natassia Goode

Australas. J. Inf. Syst., 2019

2017

Designing and evaluating two interventions to improve identity theft recovery outcomes.

Sigi Goode, David Lacey

Proceedings of the 2017 IEEE International Symposium on Technology and Society, 2017

2016

Understanding victim-enabled identity theft.

David Lacey, Jim Zaiss, K. Suzanne Barber

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

2015

It's Dark in There: Using Systems Analysis to Investigate Trust and Engagement in Dark Web Forums.

David Lacey, Paul M. Salmon

Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2015

2012

Death by a Thousand Facts: Criticising the Technocratic Approach to Information Security Awareness.

Geordie Stewart, David Lacey

Inf. Manag. Comput. Secur., 2012

2011

Detecting complex account fraud in the enterprise: The role of technical and non-technical controls.

Sigi Goode, David Lacey

Decis. Support Syst., 2011

Exploring Interpersonal Relationships in Security Information Sharing.

Sigi Goode, David Lacey

Proceedings of the International Conference on Information Systems, 2011

Exploring information security controls using information fraud episodes: case study evidence from a large telecommunications firm.

Sigi Goode, David Lacey

Proceedings of the 19th European Conference on Information Systems, 2011

2010

Understanding and transforming organizational security culture.

David Lacey

Inf. Manag. Comput. Secur., 2010

Compilation Techniques for High Level Parallel Code.

Benedict R. Gaster, Tim Bainbridge, David Lacey, David Gardner

Int. J. Parallel Program., 2010

2009

Program transformations using temporal logic side conditions.

Sara Kalvala, Richard Warburton, David Lacey

ACM Trans. Program. Lang. Syst., 2009

Understanding and Transforming Organisational Culture.

David Lacey

Proceedings of the 3rd International Conference on Human Aspects of Information Security and Assurance, 2009

2007

Verification Coverage: When is Enough, Enough?

Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv

Proceedings of the 44th Design Automation Conference, 2007

2006

A new institute for a new millennium.

David Lacey

Inf. Secur. Tech. Rep., 2006

Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode.

Simon D. Hammond, David Lacey

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

Inventing the future - The vision of the Jericho Forum.

David Lacey

Inf. Secur. Tech. Rep., 2005

2004

Compiler Optimization Correctness by Temporal Logic.

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen

High. Order Symb. Comput., 2004

Assertion-based design, Second Edition.

Harry Foster, Adam Krolnik, David Lacey

Kluwer, ISBN: 978-1-4020-8027-2, 2004

2003

Universal Regular Path Queries.

Oege de Moor, David Lacey, Eric Van Wyk

High. Order Symb. Comput., 2003

Investigating ID Fraud in Australia: A Research Program.

Rodger Jamieson, Kenneth J. Stevens, Peter Luckett, Kim Langfield-Smith, Warwick Sarre, Henry Pontell, Suresh Cuganesan, David Lacey, Michael Briers

Proceedings of the Seventh Pacific Asia Conference on Information Systems, 2003

2002

Proving correctness of compiler optimizations by temporal logic.

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

2001

Imperative Program Transformation by Rewriting.

David Lacey, Oege de Moor

Proceedings of the Compiler Construction, 10th International Conference, 2001

2000

Logic Program Synthesis in a Higher-Order Setting.

David Lacey, Julian Richardson, Alan Smaill

Proceedings of the Computational Logic, 2000

1995

Client/server - a handbook of modern computer system design.

Clive Evans, David Lacey, David Harvey, David Gibbons, Andy Krasun

BCS practitioner series, Prentice Hall, ISBN: 978-0-13-377201-2, 1995