- Formal Verification of the Ethereum 2.0 Beacon Chain
- Three Attacks on Proof-of-Stake Ethereum
- Token Curated Registries - A Game Theoretic Approach
- Solving the Buyer and Seller’s Dilemma: A Dual-Deposit Escrow Smart Contract for Provably Cheat-Proof Delivery and Payment for a Digital Good without a Trusted Mediator
- Is the cost of proof-of-work consensus quasilinear?