Research Paper

Modelling and analysing a simple blockchain using CSP and FDR

Research Paper

A refinement-based approach to safe smart contract deployment and evolution

Research Paper

Reinventing the blockchain

Research Paper

Embedding Reverse Links in a Blockchain

Research Paper

The Consensus Machine: Formalising Consensus in the Presence of Malign Agents (Preliminary)

Research Paper

Specification is law: safe creation and upgrade of Ethereum Smart Contracts

Research Paper

An Unbiassable Random Oracle for Blockchains

Research Paper

Digital Civilisation: Manifesto for a trustworthy, well regulated world

Research Paper

The Greening of Blockchain Mining

Research Paper

How to create a Public Blockchain ethically

Research Paper

Taking the work out of Blockchain Security

Research Paper

Temporal Signature in the Blockchain