![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
David Lacey
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j11]Sigi Goode, David Lacey:
Exploiting organisational vulnerabilities as dark knowledge: conceptual development from organisational fraud cases. J. Knowl. Manag. 26(6): 1492-1515 (2022)
2010 – 2019
- 2019
- [j10]Judy Watson, David Lacey, Don V. Kerr, Paul M. Salmon, Natassia Goode:
Understanding the effects of compromise and misuse of personal details on older people. Australas. J. Inf. Syst. 23 (2019) - 2017
- [c14]Sigi Goode, David Lacey:
Designing and evaluating two interventions to improve identity theft recovery outcomes. ISTAS 2017: 1-6 - 2016
- [c13]David Lacey, Jim Zaiss, K. Suzanne Barber:
Understanding victim-enabled identity theft. PST 2016: 196-202 - 2015
- [c12]David Lacey, Paul M. Salmon
:
It's Dark in There: Using Systems Analysis to Investigate Trust and Engagement in Dark Web Forums. HCI (6) 2015: 117-128 - 2012
- [j9]Geordie Stewart, David Lacey:
Death by a Thousand Facts: Criticising the Technocratic Approach to Information Security Awareness. Inf. Manag. Comput. Secur. 20(1): 29-38 (2012) - 2011
- [j8]Sigi Goode, David Lacey:
Detecting complex account fraud in the enterprise: The role of technical and non-technical controls. Decis. Support Syst. 50(4): 702-714 (2011) - [c11]Sigi Goode, David Lacey:
Exploring information security controls using information fraud episodes: case study evidence from a large telecommunications firm. ECIS 2011: 241 - [c10]Geordie Stewart, David Lacey:
Death by a Thousand Facts: Criticising the Technocratic Approach to Information Security Awareness. HAISA 2011: 11-21 - [c9]Sigi Goode, David Lacey:
Exploring Interpersonal Relationships in Security Information Sharing. ICIS 2011 - 2010
- [j7]Benedict R. Gaster, Tim Bainbridge, David Lacey, David Gardner:
Compilation Techniques for High Level Parallel Code. Int. J. Parallel Program. 38(1): 4-18 (2010) - [j6]David Lacey:
Understanding and transforming organizational security culture. Inf. Manag. Comput. Secur. 18(1): 4-13 (2010)
2000 – 2009
- 2009
- [j5]Sara Kalvala, Richard Warburton, David Lacey:
Program transformations using temporal logic side conditions. ACM Trans. Program. Lang. Syst. 31(4): 14:1-14:48 (2009) - [c8]Sigi Goode, David Lacey:
Social Embeddedness and Sharing Security Information: Bridging the Cost Benefit Gap. ACIS 2009 - [c7]David Lacey:
Understanding and Transforming Organisational Culture. HAISA 2009: 1-6 - 2007
- [c6]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 - 2006
- [j4]David Lacey:
A new institute for a new millennium. Inf. Secur. Tech. Rep. 11(1): 62-65 (2006) - [c5]Simon D. Hammond, David Lacey:
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. CC 2006: 109-123 - 2005
- [j3]David Lacey:
Inventing the future - The vision of the Jericho Forum. Inf. Secur. Tech. Rep. 10(4): 186-188 (2005) - 2004
- [b2]Harry Foster, Adam Krolnik, David Lacey:
Assertion-based design, Second Edition. Kluwer 2004, ISBN 978-1-4020-8027-2, pp. I-XXIII, 1-390 - [j2]David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen:
Compiler Optimization Correctness by Temporal Logic. High. Order Symb. Comput. 17(3): 173-206 (2004) - 2003
- [j1]Oege de Moor, David Lacey, Eric Van Wyk:
Universal Regular Path Queries. High. Order Symb. Comput. 16(1-2): 15-35 (2003) - [c4]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 - 2002
- [c3]David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen:
Proving correctness of compiler optimizations by temporal logic. POPL 2002: 283-294 - 2001
- [c2]David Lacey, Oege de Moor:
Imperative Program Transformation by Rewriting. CC 2001: 52-68 - 2000
- [c1]David Lacey, Julian Richardson, Alan Smaill:
Logic Program Synthesis in a Higher-Order Setting. Computational Logic 2000: 87-100
1990 – 1999
- 1995
- [b1]Clive Evans, David Lacey, David Harvey, David Gibbons, Andy Krasun:
Client/server - a handbook of modern computer system design. BCS practitioner series, Prentice Hall 1995, ISBN 978-0-13-377201-2, pp. I-XVI, 1-138
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-22 20:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint