David Lacey

Geordie Stewart, David Lacey: Death by a Thousand Facts: Criticising the Technocratic Approach to Information Security Awareness. Inf. Manag. Comput. Security 20(1): 29-38 (2012)

Sigi Goode, David Lacey: Detecting complex account fraud in the enterprise: The role of technical and non-technical controls. Decision Support Systems 50(4): 702-714 (2011)

Sigi Goode, David Lacey: Exploring information security controls using information fraud episodes: case study evidence from a large telecommunications firm. ECIS 2011

Sigi Goode, David Lacey: Exploring Interpersonal Relationships in Security Information Sharing. ICIS 2011

Benedict R. Gaster, Tim Bainbridge, David Lacey, David Gardner: Compilation Techniques for High Level Parallel Code. International Journal of Parallel Programming 38(1): 4-18 (2010)

David Lacey: Understanding and transforming organizational security culture. Inf. Manag. Comput. Security 18(1): 4-13 (2010)

Sara Kalvala, Richard Warburton, David Lacey: Program transformations using temporal logic side conditions. ACM Trans. Program. Lang. Syst. 31(4) (2009)

Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv: Verification Coverage: When is Enough, Enough? DAC 2007: 744-745

David Lacey: A new institute for a new millennium. Inf. Sec. Techn. Report 11(1): 62-65 (2006)

Simon Hammond, David Lacey: Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. CC 2006: 109-123

David Lacey: Inventing the future - The vision of the Jericho Forum. Inf. Sec. Techn. Report 10(4): 186-188 (2005)

Harry Foster, Adam Krolnik, David Lacey: Assertion-based design (2. ed.). Kluwer 2004, isbn 978-1-4020-8027-2, pp. I-XXIII, 1-390

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Compiler Optimization Correctness by Temporal Logic. Higher-Order and Symbolic Computation 17(3): 173-206 (2004)

Oege de Moor, David Lacey, Eric Van Wyk: Universal Regular Path Queries. Higher-Order and Symbolic Computation 16(1-2): 15-35 (2003)

Rodger Jamieson, Kenneth J. Stevens, Peter Luckett, Kim Langfield-Smith, Warwick Sarre, Henry Pontell, Suresh Cuganesan, David Lacey, Michael Briers: Investigating ID Fraud in Australia: A Research Program. PACIS 2003: 116

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Proving correctness of compiler optimizations by temporal logic. POPL 2002: 283-294

David Lacey, Oege de Moor: Imperative Program Transformation by Rewriting. CC 2001: 52-68

David Lacey, Julian Richardson, Alan Smaill: Logic Program Synthesis in a Higher-Order Setting. Computational Logic 2000: 87-100