Overwriting Hard Drive Data: The Great Wiping Controversy. - Craig S. Wright; Dave Kleiman; Shyaam Sundhar R. S. (ICISS, 2008)

Software, Vendors and Reputation: An Analysis of the Dilemma in Creating Secure Software. - Craig S. Wright (INTRUST, 2010)

Compliance or Security, What Cost? (Poster). - Craig S. Wright (ACISP, 2011)

A Quantitative Analysis into the Economics of Correcting Software Bugs. - Craig S. Wright; Tanveer A. Zia (CISIS, 2011)

Rationally Opting for the Insecure Alternative: Negative Externalities and the Selection of Security Controls. - Craig S. Wright; Tanveer A. Zia (CISIS, 2011)

Sustainable blockchain-enabled services: Smart contracts. - Craig S. Wright; Antoaneta Serguieva (IEEE BigData, 2017)

From Bitcoin to Bitcoin Cash: a network analysis. - Marco Alberto Javarone; Craig Steven Wright (CRYBLOCK@MobiSys, 2018)

Modeling a Double-Spending Detection System for the Bitcoin Network. - Marco Alberto Javarone; Craig Steven Wright (CoRR, 2018)

Agent-based Turing Complete Transactions integrating feedback within a Blockchain System. - Craig S. Wright (SSD, 2019)

Systems and Methods for Implementing Deterministic Finite Automata (DFA) via a Blockchain. - Craig S. Wright (ICICT (1), 2019)

Decentralized Autonomous Corporations. - Craig S. Wright (ICICT (2), 2019)

A Distribution Protocol for Dealerless Secret Distribution. - Craig S. Wright (ICICT (2), 2019)

Bitcoin: A Total Turing Machine. - Craig S. Wright (IntelliSys (1), 2019)

A Proof of Turing Completeness in Bitcoin Script. - Craig S. Wright (IntelliSys (1), 2019)

Using the Singular Value Decomposition to Generate Composite NFTs. - Jack Davies; Craig Steven Wright (COINS, 2023)

Formal Security Analysis of SPV Clients Versus Home-Based Full Nodes in Bitcoin-Derived Systems. - Craig Steven Wright (CoRR, 2025)

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains. - Craig Steven Wright (CoRR, 2025)

The Redundancy of Full Nodes in Bitcoin: A Network-Theoretic Demonstration of Miner-Centric Propagation Topologies. - Craig S. Wright (CoRR, 2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning. - Craig S. Wright (CoRR, 2025)

Beyond Prediction - Structuring Epistemic Integrity in Artificial Reasoning Systems. - Craig Steven Wright (CoRR, 2025)

Bayesian Evolutionary Swarm Architecture: A Formal Epistemic System Grounded in Truth-Based Competition. - Craig Steven Wright (CoRR, 2025)

The Autonomy of the Lightning Network: A Mathematical and Economic Proof of Structural Decoupling from BTC. - Craig Steven Wright (CoRR, 2025)

Rational Miner Behaviour, Protocol Stability, and Time Preference: An Austrian and Game-Theoretic Analysis of Bitcoin's Incentive Environment. - Craig Steven Wright (CoRR, 2025)

Institutional Noise, Strategic Deviation, and Intertemporal Collapse: A Formal Model of Miner Behaviour under Protocol Uncertainty. - Craig Steven Wright (CoRR, 2025)

Peer Review as Structured Commentary: Immutable Identity, Public Dialogue, and Reproducible Scholarship. - Craig Steven Wright (CoRR, 2025)

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds. - Craig S. Wright (CoRR, 2025)

Epistemic Scarcity: The Economics of Unresolvable Unknowns. - Craig S. Wright (CoRR, 2025)

Resolving CAP Through Automata-Theoretic Economic Design: A Unified Mathematical Framework for Real-Time Partition-Tolerant Systems. - Craig S. Wright (CoRR, 2025)

Mathematical Modelling of Oscillatory Dynamics in Circular Traffic Systems. - Craig S. Wright (CoRR, 2025)

Immutability Does Not Guarantee Trust: A Formal and Logical Refutation. - Craig S. Wright (CoRR, 2025)

Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse. - Craig S. Wright (CoRR, 2025)